【寝言】春宵一刻値千金

春の夜

最近暖かくなって草木が伸び、夜の空気も心地よく感じられます。

気分的に「愚かなり我が心」です。

www.youtube.com

最近の気分いい音楽

Otto Sieben - Terence Yucca Band - Curley Shirley

www.youtube.com

３C 政策 ３B政策

新刊で奥山真司著『世界最強の地政学』が出ていたので買ってみました。読みやすい本で、今後の支那問題にどう対処すべきかを考える上でも示唆に富んでいると思いました。

世界最強の地政学 (文春新書)

この本の本筋からは外れるのですが、途中出てきた２０世紀初頭のイギリス 3C 政策、ドイツ 3B 政策の語を見て、高校世界史ではよく見るものの、英米の本で余り見たことが無いなとふと思い、英語で何と云うのかとネット検索してみましたが日本語の受験世界史ばかりが出てきます。

AI 先生に聞いてみたところ、イギリス側については、セシル・ローズがカイロ＝ケープタウンを鉄道で結びつける構想を述べていたという事で、それに当時英領であったインドのカルカッタを結びつけるのはおかしくはない式の返事が返ってきて 3C 政策という単語は見当たらないようなことを示唆されました。またドイツ側についてはベルリン＝バクダッドの語は当時よく出てきたがビザンチウムはあまり無い、３Bというなら ベルリン＝バクダッド＝バスラの方が適切だというような事を返されました。

AI のいう事なので、どこまで信じていいのか分かりませんが、記憶に留めておきたいと思います。

怒りを紙に書いて破る

名大で、イライラを紙に書いたあとシュレッダーにかけると怒りが消える、という研究がされたようです。

ジョン・フォード監督、ジョン・ウェイン、モーリン・オハラ主演の映画「静かなる男」で、敵役のおっさんが腹が立った奴の名前を字の書ける息子に手帳に書かせてそのページを破って捨てさせて溜飲を下げていた場面を思い出しました。

アイルランド人の奇妙な性格を描いた映画で、宮崎駿のラピュタの殴り合いのシーンなどの元ネタと思います。炭鉱町は同じジョン・フォードの『我が谷は緑なりき』から、ロボットの怪光線が教会の塔を吹き飛ばすのは H.G.ウェルズの「宇宙戦争」の小説描写から採ったものだと思います。

gigazine.net

www.youtube.com

静かなる男（字幕版）

静かなる男 HDリマスター [Blu-ray]

わが谷は緑なりき（字幕版）

わが谷は緑なりき [Blu-ray]

宇宙戦争 (創元SF文庫)

天空の城ラピュタ [DVD]

天空の城ラピュタ [Blu-ray]

【メモ帳】Tiobe 月旦評 2024年 4月号

Fortran 10 位

fortran はレーティング変化が +0.88% で python に次ぐ伸びを示した成長言語です。

Tiobe 2024-04

10 位とあってグラフにも登場しました。

www.tiobe.com

Modern Fortran: Building efficient parallel applications

Modern Fortran Explained: Incorporating Fortran 2023 (Numerical Mathematics and Scientific Computation)

How to learn Applied Mathematics through modern FORTRAN

【メモ帳】Intel Fortran visual studio F1 help

Visual Studio 本家 （code に非ず）

visual studio は intel fortran が統合できて、カーソル上の単語の F1 help が可能ですが、そのインストールは手動になっています。下のリンクページから、ファイルをダウンロードして、手引きに従って特定ディレクトリに内容ファイルを解凍することでインストールできます。時々このディレクトリ構造が変わるので注意書きを目を凝らして読む必要があります。

また C++ 用の F1 help とは（多分）共存できず、同時にインストールすると C++ 用の help が優先されてしまいます。

www.intel.com

vscode の方でも使えるといいのですが。単なる HTML ファイル呼び出しなので、能力者ならやってくれるはず・・・

Modern Fortran Explained: Incorporating Fortran 2023 (Numerical Mathematics and Scientific Computation)

【寝言】アメリカ M4.8 の地震で大騒ぎ

震源地はレバノン、ニューヨークニュージャージー

震源地の名前からして、アメリカを対イラン戦争に巻き込もうとしているイスラエルの陰謀ｗ

ベイルート港の爆発は M3.3 相当らしいので、あれよりはでかい。

なおニューヨーク州にもニュージャージー州にもレバノンがあって、地震の震源はニュージャージーの模様w

www.nytimes.com

Bibi の final solution は gas chamber か？と聞いたら AI に怒られましたｗ

パリ、テキサス【2Kレストア版】 [Blu-ray]

パリ、テキサス [DVD]

Gigi

【ニュース】Intel fortran 2024.1.0 出る

Intel one api 2024.1

目を凝らしてよむと fortran compiler 単独のインストール法が書いてあります。

www.intel.com

Intel® Fortran Compiler adds more Fortran 2023 language features including improved compatibility and interoperability between C and Fortran code, simplified trigonometric calculations, and predefined data types to improve code portability and ensure consistent behavior; makes OpenMP offload programming more productive; and increases compiler stability.

New in Intel® Fortran Compiler 2024.1.0 Release

Intel® Fortran Compiler 2024.1.0

• Intel® Fortran Compiler adds more Fortran 2023 language features - improving compatibility and interoperability between C and Fortran code in the intrinsic module ISO_C_BINDING; simplifying trigonometric calculations by allowing developers to use intrinsic functions that accept arguments as degrees, enhancing ease of use and code readability; use of predefined data types of specific sizes in intrinsic module ISO_FORTRAN_ENV improving code portability and ensuring consistent behavior, and more.
• Intel® Fortran Compiler makes OpenMP Offload programming more productive by adding runtime checks ensuring that mapped data is currently allocated/associated.
• Increased compiler stability by fixing miscellaneous compilation, OpenMP* and runtime issues.

www.intel.com

文法面詳細

文法面では大した進歩はないようです。real16 が常数に加わりましたが、12世代 i7 win11 環境下では -2 が入っていて、そのような種 (kind) は存在しないようです。

Details of New and Changed Compiler Features

ifx 2024.1.0 and ifort 2021.12.0

The following Fortran 2023 features are new in this release:

• Source input lines in free format can have up to 10,000 characters.
• A Fortran statement can contain up to 1,000,000 characters.
• New named constants LOGICAL8, LOGICAL16, LOGICAL32, LOGICAL64, and REAL16 in the intrinsic module ISO_FORTRAN_ENV.
• New procedures C_F_STRPOINTER and F_C_STRING for C interoperability have been added to the intrinsic module ISO_C_BINDING.
• Optional argument LOWER to subroutine C_F_POINTER in the intrinsic module ISO_C_BINDING, which allows specifying lower bounds for the fptr array pointer argument.
• Two argument form of the intrinsic trigonometric function ATAND (Y, X) whose arguments are in degrees.

Modern Fortran Explained: Incorporating Fortran 2023 (Numerical Mathematics and Scientific Computation)

Modern Fortran: Building efficient parallel applications

【ネタ】Q＊の噂w

Q* の噂

何やら Quiet STaR なるものがあるようです。GTP５の予告を小出しにするはずが、イーロン・マスクの訴訟のせいで遅れてる的、面白ストーリー。アニメにありそうな展開。

ところでクーデーター騒動の首謀者イリア・サツケバーが音信不通になって、原子力施設に軟禁されているとかいう噂があって草。どうせなら北極圏の刑務所にいるとか、乗ってるジェット機が墜落するとか言えばいい。ワグネルのプリゴジンはもう噂にもならず、イリア・プリゴジンと名前がごちゃごちゃになるw

しかしニューラルネット再興も LLM もロシア人が関わっているのが恐ろしいdeath。ソ連のまま進んでいたら「ロシア語で考えるんだ！」という世界になっていたかもしれませんw

youtu.be

今の言語モデルが、次の一語を確率で決めている一手詰めみたいなのを、複数の読み筋を何手も先まで読んでそれぞれの読み筋のエネルギーみたいなものを求めて良いのをボルツマン分布とかの確率で選ぶようです。

単語ベクトル空間ではなく、抽象思考のベクトル空間のベクトルをいじって、最後に言語に投影してゆくというような話も出ていているようです。

これは無意識から湧き上がる非言語イメージに対応する言葉が見つからず、無理に言葉に当てはめようとするとイメージが潜って消えてしまうような経験と割りとしっくりくるような気がします。

記号論とか言語やシンボル操作が全てであるというような文学系の発想が、昔から納得いかなかったのですが、最近の LLM の能力にギャフンと言わされておりました。しかし、まぁ AI の偉い人も言葉縛りに疑問を持っていたようです。

To people who claim that "thinking and reasoning require language", here is a problem:
Imagine standing at the North Pole of the Earth.
Walk in any direction, in a straight line, for 1 km.
Now turn 90 degrees to the left.
Walk for as long as it takes to pass your starting point.…

— Yann LeCun (@ylecun) 2024年3月14日

以前の噂w fortran66.hatenablog.com

オバケのQ太郎 1 (てんとう虫コミックス)

ヱヴァンゲリヲン新劇場版：Ｑ

ファイヤーフォックス [Blu-ray]

【メモ帳】Fortran 動画

Fortran 万歳

Fortran tool 群の紹介のようですが、冒頭の AI の Fortran 評や詩が見どころです。

youtu.be

Modern Fortran Explained: Incorporating Fortran 2023 (Numerical Mathematics and Scientific Computation)

なかなか円高に進まないので安くならないですね。