普通のプログラミング言語の普通の関数は、実行時に決まる値を受け取ることができます。
# 疑似コード
def foo(x: int, y: int) = print(x + y)
x = parseInt(readLine())
# x の値は実行時に決まる
foo(x + 4, 2 * x) # x + 4 や 2 * x の値も実行時に決まるこれに対して、「コンパイル時に決まる値しか受け付けない引数」を表現できると便利な場面があるのではないかと思うことが最近ありました。
続きを読むLunarMLの今年の進捗を振り返ります。この記事は言語実装 – Qiita Advent Calendar 2024の14日目の記事です。
続きを読むLunarMLをLuaの代替として使う際、Luaの機能を自然に使えると良さそうです。例えば、文字列フォーマット関数 string.format を呼び出す際には現状では引数の型キャストが必要ですが、フォーマット文字列にいい感じの型をつければキャストが不要になるのではないでしょうか。
ML系言語の仲間であるOCamlには、フォーマット文字列が期待される文脈で特別な型付けを行う機能があります。LunarMLでも似たようなことをするといいのではないか、というわけで検討します（検討するだけならタダなので）。
続きを読む11月30日に開催されたTeXConf 2024で「LaTeX処理自動化ツールClutTeXの近況と今後の計画」というタイトルで発表させていただきました。
続きを読む前回から日が開きましたが、引き続きMacでBinary Hacks Rebootedの内容を試していきます。
今回は「7章 数値表現とデータ処理Hack」の内容を試していきます。サンプルコードは https://github.com/oreilly-japan/binary-hacks-rebooted から取得できます。
$ git clone https://github.com/oreilly-japan/binary-hacks-rebooted.git
$ cd binary-hacks-rebooted私の環境はApple M4 Pro / macOS Sequoia 15.1.1です。以下のアセンブリコードはAArch64向けです。
続きを読むこれまで使っていたモバイルバッテリーは10年以上使っている気がしてきたので、一新することにした。リチウムイオン電池は普通のゴミには出せないので、処分方法も書いておく。
続きを読む最近、「ものの等しさ」について思うところが何点かあるので書き殴っておく。
ものを数学的な議論に載せる上で、「等しさ」というのは基本的な概念だと思われる。扱う対象の「等しさ」について合意ができない人と数学的な議論はできない。
続きを読む
10月の最終週にAppleからMacの新製品が発表されました。前から「Apple M4搭載のMacが出たら買い替えたい」と考えていた私にとって、ついに出費の時が来たのです。
続きを読む
星空というのは毎晩同じ姿を見せるわけではない。月は毎日動いていくし、日が経つと惑星も動いていく。たまにしか起きない天文現象もある。流星群、月食、（夜空ではないが）日食などだ。
人生の中で見ておきたい天文現象（というか天体）の一つが、彗星だ。百武彗星やヘール・ボップ彗星の現れた90年代は私はまだ物心がついていなかった。生きているうちに「大彗星」と呼ばれるものを見てみたいものだ。
そういうわけで、地球に接近する彗星の話題は（そこまで熱心でもないが）ある程度キャッチし、チャンスがあれば観測にチャレンジしたいと思っている。
ここ数年でもいくつか彗星がやってきた（というか、私が彗星の情報を追いかけるようになったのがこの数年のことかもしれない）。ネオワイズ彗星（2020年）、レナード彗星（2021年）、ZTF彗星（2023年）、ポン・ブルックス彗星（2024年）。いくつかは私も撮影にチャレンジしたが、ぼやっとした感じにしか写らなかった。「彗星」というからには立派な尾が写って欲しいものだ。私の技術や撮影タイミングが悪かったのかもしれないが……。
そして今年（2024年）の秋にやって来たのが紫金山・アトラス彗星だ。太陽に近づいて崩壊したかも？みたいな情報もあったが、無事に我々の前に姿を見せてくれた。
今回の彗星は9月下旬には明け方の空に、10月中旬には夕方の空に見える。深夜に起きて車を運転して東の空が開けた場所に行ったり、彗星を見るために双眼鏡を買ったり、なんやかんやあったが、ようやく彗星を視認できたのは5回目のチャレンジでのことだった。
続きを読む自宅のインターネット回線については前（2020年5月）に記事を書いた：
が、その後（2021年初頭）引っ越しをして、引越し先の集合住宅では無料のインターネットが使えるのでそれを使っていた。ただ、これは建物内の配線が謎で、最大100Mbpsしか出ない。IPv6も使えない。しかし、光回線を別に契約すると月に数千円かかること、実測で数十Mbpsは出るのでオンラインのビデオ会議にもそんなに支障はないことから、無料インターネットを使っていた。この辺の事情は今年の2月にも記事を書いた：
しかし、その時と比べると状況が変わった。
まず、勤め先から「在宅勤務手当」が出るようになった。月に数千円という程度で、光回線の料金を賄うのにぴったりである。
そして、NTT東のフレッツ光クロス（10Gbps回線）のエリアが広がって居住地をカバーするようになった。
さらに、携帯回線で使っているIIJmioのmio光も10Gbps回線に対応するようになった（9月4日から申込開始）。
これはもう「在宅勤務手当を使ってmio光で10Gbps回線を契約しろ」というお告げでは？（安さを目指すなら他の回線業者も調べてみるべきだったかもしれないが）
続きを読む