プロフィール
<< 2023年06月 >>
1 2 3
4 5 6 7 8 9 10
18 19 20 21 22 23 24
25 26 27 28 29 30
リンク集
カテゴリアーカイブ
月別アーカイブ
2024年12月 (23)
2024年11月 (59)
2024年10月 (64)
2024年09月 (62)
2024年08月 (71)
2024年07月 (61)
2024年06月 (67)
2024年05月 (71)
2024年04月 (72)
2024年03月 (61)
2024年02月 (63)
2024年01月 (73)
2023年12月 (33)
2023年11月 (43)
2023年10月 (30)
2023年09月 (33)
2023年08月 (48)
2023年07月 (52)
2023年06月 (67)
2023年05月 (72)
2023年04月 (80)
2023年03月 (108)
2023年02月 (63)
2023年01月 (17)
2022年12月 (14)
2022年11月 (24)
2022年10月 (43)
2022年09月 (33)
2022年08月 (44)
2022年07月 (15)
2022年06月 (6)
2021年12月 (1)
2021年11月 (49)
2021年10月 (60)
2021年09月 (54)
2021年08月 (54)
2021年07月 (56)
2021年06月 (50)
2021年05月 (62)
2021年04月 (44)
2021年03月 (53)
2021年02月 (48)
2021年01月 (60)
2020年12月 (51)
2020年11月 (61)
2020年10月 (54)
2020年09月 (54)
2020年08月 (60)
2020年07月 (49)
2020年06月 (48)
2020年05月 (61)
2020年04月 (48)
2020年03月 (58)
2020年02月 (31)
2020年01月 (55)
2019年12月 (54)
2019年11月 (53)
2019年10月 (54)
2019年09月 (60)
2019年08月 (54)
2019年07月 (49)
2019年06月 (63)
2019年05月 (52)
2019年04月 (55)
2019年03月 (61)
2019年02月 (49)
2019年01月 (54)
2018年12月 (50)
2018年11月 (52)
2018年10月 (55)
2018年09月 (65)
2018年08月 (48)
2018年07月 (55)
2018年06月 (56)
2018年05月 (50)
2018年04月 (57)
2018年03月 (58)
2018年02月 (51)
2018年01月 (64)
2017年12月 (53)
2017年11月 (56)
2017年10月 (61)
2017年09月 (59)
2017年08月 (65)
2017年07月 (84)
2017年06月 (57)
2017年05月 (69)
2017年04月 (76)
2017年03月 (69)
2017年02月 (72)
2017年01月 (212)
2016年12月 (236)
2016年11月 (166)
2016年10月 (239)
2016年09月 (365)
2016年08月 (222)
2016年07月 (82)
2016年06月 (56)
2016年05月 (71)
2016年04月 (69)
最新記事

2023年06月23日

OceanGate Was Warned of Potential for ‘Catastrophic’ Problems With Titanic Mission(オーシャンゲートはタイタニック号のミッションに「壊滅的な」問題が発生する可能性を警告されていた)

ChatGPT

タイタニックの残骸を観光するOceanGate社のミッションには警告がありました。Titanというクラフトの安全性についての懸念が表明され、認証機関の審査を受けなかったことが指摘されました。Titanのビューポートの認証も問題であり、乗客にはその制約が伝えられていませんでした。会社はLochridge氏を解雇し、専門家からの警告は和解に至りました。Titanの開発についても懸念があり、主要な認証機関の監視下でのテストが求められました。Titanは国際水域で運航されるため、一部の規制は適用されません。過去の遠征でも問題がありましたが、28人が昨年Titanでタイタニックの残骸を訪れました。

Bing AIの説明

OceanGate Expeditionsは、タイタニック号の残骸を見学する観光ツアーの実施前に、安全上の懸念があることを警告されていました。同社の内部および外部の専門家から、潜水艇「タイタン」について、「壊滅的な問題」が発生する可能性があると警告され、認証プロセスを受けるよう促されていました。2018年には、同社の海洋事業部長であるDavid Lochridge氏が、潜水艇が極端な深さに達した際の乗客への「潜在的な危険」を強調する報告書を作成しました。また、同年には、業界リーダー、深海探検家、海洋学者など40人以上が、同社のCEOであるStockton Rush氏に宛てた手紙で、同社の「実験的な」アプローチと伝統的な評価を拒否する決定が、タイタニック号ミッションにおいて「壊滅的な問題」を引き起こす可能性があると警告していました。
ニューヨーク・タイムズによると、OceanGate Expeditionsは、タイタニック号の残骸を見学する観光ツアーの実施前に、安全上の懸念があることを警告されていました。同社の内部および外部の専門家から、潜水艇「タイタン」について、「壊滅的な問題」が発生する可能性があると警告され、認証プロセスを受けるよう促されていました。

https://www.nytimes.com/2023/06/20/us/oceangate-titanic-missing-submersible.html

海難事例分析: 安全運航へ向けて

新品価格
¥3,960 から
(2023/6/23 16:57時点)






posted by 3chan at 12:19| (カテゴリなし)

2023年06月22日

ことばの力(丸山先生のBlog)

ChatGPT

ことばは不思議な力を持っています。形を獲得したことばは、歴史や民族、信仰に関する認識を次の世代に伝える役割を果たしてきました。ことばは論理的な思考の母胎であり、「黒い猫」というフレーズは含意を持ちます。ことばの論理性と文字の発明によって数学が生まれ、ガリレオの認識も生まれました。ことばの力は人間に与えられ、社会的な集団、宗教、芸術、科学、技術の基礎となっています。ことばは人間の最強かつ万能の道具であり、生物学的特徴です。言語能力は生まれつき備わり、チョムスキーはその獲得を遺伝子の突然変異と考えています。言語能力を持つ我々は、遡ればミュータントの子孫であり、原始的な思考のシステムを持っていたと言われています。ホモ・サピエンスとネアンデルタール人は交配しており、言語能力の差によってテレパシーのように見えたかもしれません。

Bing AIの説明

ことばには、人々の心を愉快にしたり、怒りや悲しみを和らげたり、ときには人を突き動かすほどの力があります。詩人である川崎洋さんは、挨拶など日々なにげなく交わしていることばを見直し、言い回しを探るなかから、人の気持ちを受けとめ、自分の思いや考えを伝えるにはどうしたらよいかを語ります。豊かなことばの世界へ導く一冊です。
また、子どもの「言葉の力」を強く育てるには、生まれてから6歳までの家庭環境が重要です。この時期の子どもは言葉を習得する最適期にあり、適切な環境があれば、2カ国語でも、3カ国語でも何の苦労もなく身につけることができます。しかし一方で、乳幼児期に言葉のインプットが不足すると「言葉の力」が形成できず、思考力が弱い子どもに育ってしまいます。

https://maruyama097.blogspot.com/2023/06/blog-post_20.html

ことばの力: しゃべる・聞く・伝える (岩波ジュニア新書)

新品価格
¥968 から
(2023/6/23 16:50時点)






posted by 3chan at 07:43| (カテゴリなし)

Vessel Vanishes on Dive to Titanic Wreck, Setting Off a Search(タイタニック号沈没船へのダイビング中に消息を絶ち、捜索が開始される)

ChatGPT

1912年4月15日、タイタニック号は氷山に衝突し、1,500人以上が亡くなりました。1985年には、カナダ沖の海底で二つの主要な部分に分かれた遺骸が見つかりました。最近、OceanGateの潜水艇が行方不明になり、フランスの海洋専門家や他の5人も救助されていません。この航海は2018年に計画されましたが、様々な問題で延期されました。観光客はタイタニックの沈没地点で潜水を楽しんでいますが、保存家たちは遺跡の回収に反対しています。

Bing AIの説明

タイタニック号は、20世紀初頭に建造されたイギリス船籍のオーシャン・ライナーで、ホワイト・スター・ライン社が保有するオリンピック級客船の2番船でした。1912年4月10日に処女航海を開始しましたが、4月14日深夜に氷山に衝突し、その際の損傷による浸水が原因となって翌15日未明に沈没しました。犠牲者数は乗員乗客合わせて1,513人であり、戦時中に沈没した船舶を除くと20世紀最大の海難事故でした。
タイタニック号は、スピードよりも設備の豪華さに重点を置いて設計されていました。一等船室用のレセプションや読書室などがあり、プロムナードデッキや大階段も設けられていました。
タイタニック号の残骸は、大西洋のニューファンドランド島の沖合にあります。1985年にカナダのニューファンドランド島沖の深海底で発見されました。

https://www.nytimes.com/live/2023/06/19/us/titanic-missing-sub-tourist-tour#:~:text=The%20search%20area%20is%20900,by%20the%20U.S.%20Coast%20Guard.






posted by 3chan at 07:42| (カテゴリなし)

2023年06月19日

In Argentina, Inflation Passes 100% (and the Restaurants Are Packed)(アルゼンチンではインフレ率が100%を超えた(そしてレストランは満員))

ChatGPT

1991年にソビエト連邦が崩壊し、共産主義の崩壊後の世界は不安定さを抱えています。市場の効率と成長に対する信念は問題の解決を期待させましたが、政治家の利益再分配の遅れや融資の問題が起きました。アジア、ロシア、ラテンアメリカではブーム・バストのサイクルが現れました。
供給チェーンの安全性と強靱性には疑問があります。財務長官のイエレン氏は信頼できるパートナーシップが重要だと述べ、ニューマン氏はマーケットが効率に関するものであることを指摘しています。
アメリカは自由貿易協定から離れ、再生可能エネルギーへの移行を促進するために補助金を提供しています。しかし、未来の繁栄に向けた道筋や政策はまだ明確ではなく、即興の時代で新たな解決策が模索されています。

Bing AIの説明

日本経済新聞によると、アルゼンチンのインフレ率は100%を超え、大干ばつが直撃したと報じられています。また、時事ドットコムによると、アルゼンチン国家統計局は2月の消費者物価指数上昇率が前年同月比102.5%になったと発表しました。
他にも、Agora-web.jpによると、アルゼンチンの今年のインフレは100%近くになりそうだと報じられています。Yahooニュースによると、アルゼンチンのインフレ率は114%を超えていると報じられています。
アルゼンチンのインフレ率が高い理由として、紙幣の増刷や企業による値上げ、肥料や天然ガスの輸入コスト上昇などが挙げられます。また、慢性的なインフレに大規模な干ばつが追い打ちをかけ、物価上昇率は100%を超えたと報じられています。
高インフレはアルゼンチンが他の新興市場国に比べて投資家のリスク回避志向の影響を受けやすい要因の1つです。

https://www.nytimes.com/2023/06/19/world/americas/argentina-inflation-peso-restaurants.html

Argentina アルゼンチン T-shirts ネイビー S【アメリカ】【インフレ】

新品価格
¥2,980 から
(2023/6/23 15:52時点)






posted by 3chan at 23:01| (カテゴリなし)

Why It Seems Everything We Knew About the Global Economy Is No Longer True(世界経済について私たちが知っていたことが、もはや真実ではないように思える理由)

ChatGPT(英文で要約してから翻訳したもの)

1991年にソビエト連邦が崩壊して以来、世界は不安定さを感じています。共産主義の崩壊は人類の思想的進化の終点とされましたが、市場の信じられた効率と成長によって問題が解決されるとの信念が存在しました。しかし、政治家が利益再分配や支援を後回しにする一方、多くの融資は十分な利益を生み出せず、投機的な計画や腐敗した銀行口座に流れ込みました。この結果、アジア、ロシア、ラテンアメリカなどでブーム・バストのサイクルが引き起こされました。
また、供給チェーンの安全性や強靱性にも疑問が投げかけられています。ジャネット・L・イエレン財務長官は、貿易関係が信頼できるパートナーシップに基づくべきであり、効率に対するコストが高い場合でもそれは重要だと述べました。一方、エイブラハム・ニューマン氏は、マーケットは効率に関するものであり、権力に関するものではないと指摘しています。
このような現実に対応するため、アメリカは自由貿易協定から離れ、再生可能エネルギーへの移行を加速するために補助金を提供する政策を採用しています。ただし、従来の経済の教訓は一部放棄され、未来の繁栄に向けた道筋や政策はまだ曖昧なままです。今は即興の時代であり、新しい解決策が模索されています。

Bing AIの説明

世界経済についての従来の考え方が、現実と乖離していることが指摘されています。例えば、開放市場、自由貿易、最大効率といった経済政策が、現実に合わなくなっていることが指摘されています。
また、経済タイムズでも、「Why it seems everything we knew about the global economy is no longer true」というタイトルで、同様の内容が報じられています2。この記事では、COVID-19パンデミックによって、世界経済の統合とコスト削減の推進が、医療従事者や自動車メーカー、製材所などに悪影響を及ぼしたことが指摘されています。

https://www.nytimes.com/2023/06/18/business/economy/global-economy-us-china.html

この一冊でわかる世界経済の新常識2023

新品価格
¥1,683 から
(2023/6/23 01:38時点)






posted by 3chan at 09:26| (カテゴリなし)

ChatGPTから月並みではない答えを引き出す独自テクニック教えます

ChatGPT

ChatGPTとの雑談では、意外な展開を期待できます。テレビとは異なり、ChatGPTとは相互のリアクションがあります。身の上相談では、ChatGPTは相手の身になって対応してくれますが、それを信じすぎると問題が生じる可能性もあります。老人になりすましてChatGPTと話すと、新しい趣味の提案や勉強のアイデアをくれました。さらに、シェイクスピア劇の変装についての質問にも答えてくれ、参考文献や関連の知識を提供してくれました。雑談の面白さは、こうした展開にありますが、現実世界では変装やなりすましは適切ではありません。

Bing AIの説明

ChatGPTは、OpenAIによって開発された対話型の人工知能(AI)です。ユーザーはプロンプトと呼ばれる指示を出し、文章編集やプログラミングなど様々なタスクをこなすことができます。自然な対話によってこれまでのAIでは考えられないような多くのタスクを高いレベルでこなすことができます。
ChatGPTと雑談すると、最初は月並みな答えしか返ってきませんが、「言葉の端を捉える」ことによって、意外な展開を期待することができます1。これは、ChatGPTがユーザーからの入力に対して、その入力に含まれるキーワードやフレーズを捉えて、それに基づいて応答するためです。そのため、ユーザーが入力するプロンプトによって、ChatGPTからの応答が変化します。
月並みではない答えを引き出すためには、ユーザーが入力するプロンプトに工夫が必要です。例えば、一般的な質問ではなく、独創的な質問や、特定のトピックに関する質問をすることで、ChatGPTから意外な応答を引き出すことができます。また、ChatGPTに対して、特定のキャラクターや人物として応答するよう指示することもできます。このように、ユーザーが入力するプロンプトに工夫を凝らすことで、ChatGPTから月並みではない答えを引き出すことができます。

https://gendai.media/articles/-/111738






posted by 3chan at 09:13| (カテゴリなし)

2023年06月17日

プロンプトで遊ぶ -- GPT-4 との対話(丸山先生のBlog)

ChatGPT

「生成系AI」技術によって、コンピュータが人間の言葉を自在に操る能力を獲得したことは驚きです。機械との対話では、APIではなくプロンプトを使用します。大規模言語モデルには文法や品詞の概念は存在せず、GPT-4は新しい表現を創造する能力を持っています。GPT-4は意味的な矛盾を実際には存在しないものと捉える傾向があります。語の意味に関する情報を保持していることが確認されました。GPT-4は品詞分解や文法の判断能力も持っているようです。ただし、この知識は統計的なパターンから学習されたものであり、モデル自体が内部的な理解から推論を生成するわけではありません。また、機械との会話において相手が人間か機械か判断がつかない場合、その機械は知能を持つと言えます。

Bing AIの説明

GPT-4は、OpenAIによって開発された大規模な言語モデルです。教師なし学習によって作成された大規模なニューラルネットワークであり、2023年3月14日に公開されました。自然言語処理にtransformerを採用しており、学習の際にオンライン上の公開データを使用し、その後人間による微調整が行われたのち完成しました。
GPT-4は、ChatGPTと呼ばれる対話型の人工知能(AI)です。ユーザーはプロンプトと呼ばれる指示を出し、文章編集やプログラミングなど様々なタスクをこなすことができます。自然な対話によってこれまでのAIでは考えられないような多くのタスクを高いレベルでこなすことができます。
GPT-4は、Azure OpenAI ServiceのChat Completion APIを使用して操作することができます。このAPIは、ChatGPTおよびGPT-4モデルと対話するための推奨される方法です。また、新しいGPT-4モデルにアクセスする唯一の方法でもあります。
GPT-4は、人間レベルの性能を発揮するとされており、米国の司法試験や大学入学試験など多くのタスクで人間の上位10%のスコアを取ることができたと報告されています。また、その後もGPT-4は様々なタスクでゼロショットで従来手法を凌駕する性能を達成しています。
GPT-4は非常に強力な言語モデルですが、まだまだ改良の余地があります。OpenAIは今後もGPT-4の性能向上に取り組んでいく予定です。

https://www.marulabo.net/docs/prompt/






posted by 3chan at 22:43| (カテゴリなし)

論理式の部分式への分解とサブゴール(丸山先生のBlog)

ChatGPT

論理式の構成と分解についての話題です。複雑な論理式は簡単な論理式に分解できることができます。構成と分解は別々のプロセスではなく、ルールを逆に適用することで分解のルールが与えられます。論理式の集まりは上から下方向または下から上方向に読むことができます。論理式の構成と分解をBAR(横棒)で表現することはスマートな方法です。本セッションでは、論理式の分解に焦点を当てます。分解された論理式を「部分式」と呼びます。Coqでは証明を部分問題(サブゴール)に分割し、それらを解くことで元の問題を解決します。証明のサブゴールと命題の部分式は似ていますが、異なるものです。Coqでは証明のサブゴールと命題の部分式の両方を同時に扱います。サブゴールは部分式の分解結果として生まれますが、すべてのサブゴールが部分式の分解結果ではありません。数学的帰納法を利用する場合、サブゴールの形は異なります。数学的帰納法は重要なテクニックですが、ここでは詳細は省略します。ショートムービー「論理式の部分式への分解とサブゴール」を公開しました。詳細はブログ「サブゴールはどこから生まれるか」でご確認ください。

Bing AIの説明

論理式の部分式への分解とサブゴールについては、論理式の証明において重要な概念です。論理式の証明では、複雑な問題を簡単な部分問題(Coqでは、それを「サブゴール」Sub-goalと呼んでいます)に分割して、そのサブゴールをすべて解くことで、元の問題を解くことを目指します。これは、「大きな問題を小さな問題に分割して解く」という考え方です。
証明のサブゴール (Sub Goal)と命題の部分式(Sub Formula)とは、名前は似ていますが、違うものです。ただ、複雑なものを簡単なものにするという点では、証明のサブゴール (Sub Goal)と命題の部分式 (Sub Formula) は似ています。Coqは、論理式の証明の場合には、証明のサブゴールへの分割と命題の部分式への分解の二つを、同時に行います。この場合には、サブゴールは、命題の部分式の分解の結果として生まれることになります。
ただし、すべてのサブゴールが部分式への分解の結果として生まれるわけではありません。「数学的帰納法」を利用する場合のサブゴールは、それとは違う形をしています。数学的帰納法は数学的証明で非常に重要ですが、それについては別途詳しく取り上げることができます。

https://maruyama097.blogspot.com/2023/06/blog-post_16.html

数学と新しい論理?数学的帰納法をめぐって

中古価格
¥1,430 から
(2023/6/23 00:39時点)






posted by 3chan at 22:43| (カテゴリなし)

論理式の部分式への分解とサブゴール(丸山先生のBlog)

ChrtGPT

論理式の構成と分解についての話題から始まる今回のセッションでは、複雑な論理式を簡単な部分式に分解する方法に焦点を当てます。Coqでの証明では、大きな問題を小さな部分問題(サブゴール)に分割して解決するアプローチが用いられます。証明のサブゴールと命題の部分式は異なるものですが、どちらも複雑なものを簡単なものにする点で似ています。Coqでは、証明のサブゴールと命題の部分式の分解を同時に行います。ただし、すべてのサブゴールが部分式の分解から生まれるわけではありません。数学的帰納法は重要な手法であり、サブゴールの形式も異なります。詳細は別の章で取り上げますが、今回のセッションではそれについては忘れていただいても構いません。また、論理式の部分式への分解とサブゴールに関するショートムービーとブログ記事も公開されています。

Bing AIの説明

論理式の部分式への分解とサブゴールについては、論理式の証明において重要な概念です。論理式の証明では、複雑な問題を簡単な部分問題(Coqでは、それを「サブゴール」Sub-goalと呼んでいます)に分割して、そのサブゴールをすべて解くことで、元の問題を解くことを目指します。これは、「大きな問題を小さな問題に分割して解く」という考え方です。
証明のサブゴール (Sub Goal)と命題の部分式(Sub Formula)とは、名前は似ていますが、違うものです。ただ、複雑なものを簡単なものにするという点では、証明のサブゴール (Sub Goal)と命題の部分式 (Sub Formula) は似ています。Coqは、論理式の証明の場合には、証明のサブゴールへの分割と命題の部分式への分解の二つを、同時に行います。この場合には、サブゴールは、命題の部分式の分解の結果として生まれることになります。
ただし、すべてのサブゴールが部分式への分解の結果として生まれるわけではありません。「数学的帰納法」を利用する場合のサブゴールは、それとは違う形をしています。数学的帰納法は数学的証明で非常に重要ですが、それについては別途詳しく取り上げることができます。

https://maruyama097.blogspot.com/2023/06/blog-post_16.html






posted by 3chan at 22:08| (カテゴリなし)

Minneapolis Police Used Illegal, Abusive Practices for Years, Justice Dept. Finds(ミネアポリス警察が長年にわたり違法な虐待行為を行っていたことが司法省の調べで明らかになった。)

ChrtGPT(英語で要約した後翻訳したもの)

ミネアポリス警察の調査で制度的な差別と不正行為が発見されました。報告書によれば、黒人や先住民族への差別、不当な武力行使、抗議者やジャーナリストの権利侵害が明らかになりました。ミネアポリス市長と司法長官は、具体的な変革をもたらす合意勾留の交渉に取り組む意欲を表明しましたが、調整には時間と課題がかかる可能性があります。報告書は長年にわたる不正行為を詳細に記載し、警官の不正行為への苦情処理の失敗や監督の必要性も強調しています。ジョージ・フロイドの殺害とその後の混乱は警察改革の議論を引き起こしましたが、最近の政治的な変化により支持は低下しています。バイデン大統領は公共の安全と信頼の重要性を認識し、司法省の取り組みを支持しています。報告書の公表はミネアポリスの改革への重要な一歩であり、合意勾留を通じて持続的な変化を目指しています。

Bing AIの説明

米司法省は、中西部ミネソタ州ミネアポリスの警察当局で「過剰な実力行使、黒人やネーティブアメリカン(米国先住民)に対する違法な差別行為を含めて、憲法や連邦法に違反する組織的傾向があった」とする調査結果を発表しました。この調査結果は、様々なニュースソースで報じられています。例えば、Yahoo!ニュースでは「米ミネアポリス警察当局で「差別や過剰な実力行使が習慣化」」というタイトルで報じられています。また、毎日新聞でも「黒人暴行死 米司法省が警察批判」というタイトルで報じられています。

https://www.nytimes.com/2023/06/16/us/doj-report-minneapolis-police.html

ミネアポリス 警察官 トランプ トレーナー

新品価格
¥3,960 から
(2023/6/21 12:55時点)






posted by 3chan at 22:06| (カテゴリなし)
Build a Mobile Site
スマートフォン版を閲覧 | PC版を閲覧
Share by: