投稿者「mod_poppo」のアーカイブ

ClutTeXについての計画

LaTeX処理自動化ツールClutTeXの今後の計画について。

まず、いくつかバグ修正や機能追加が溜まっているのでバージョン0.6をリリースしたいです。

それで、TeX LiveのContributing package

を久しぶりに読んだら「manページを書いた方が良い」「tarball中にバージョンがわかるファイルがあると良い」みたいな文言があった（以前読んだ時に読み飛ばしたのか最近新しく追加されたのかは未確認）ので、manページを書こうとしています。

manページは他のフォーマットから（pandocなどで）変換することもできるようです（llmkを見たらronnというツールでMarkdownから変換しているようです）が、ツールへの依存を増やしたくないので、書き方を勉強して手書きしようとしています。具体的にはmdocという記法で、

というページを参考にしています。

それ（v0.6リリース）が終わったら、Luaで書かれたコードをStandard MLに移行したいです。LunarMLを作ってきた目的の一つです。ソースコードはStandard MLで書いても、配布は従来通りLuaスクリプトとして行えるようにします。

ところで、静的型言語からLuaに変換する系のやつを改めて調べると

みたいなやつが増えていました（2020年ごろはなかった or 知名度が低かったと思います）。まあLunarMLを作ってしまったのでLunarMLでやります。

こっちの作業もブランチを切って少しずつ進めています。

コンパイルに使うLunarMLはまだリリースしていない状態で、他人が使うには難があるので、ClutTeXのSML版を出す前にLunarMLのバージョン0.1をリリースしたいです。ただし、ClutTeXのSML版が書ける程度に標準ライブラリーを充実させたいです。

SMLへの移行が終わったら、本格的なバグ修正や機能追加に移ります。バグ修正としては、BibTeXの .bib ファイルを更新した際に再処理を行うようにしたいです（Biberに関しては最近プルリクがあって実装して頂きました）。

機能追加としては、ユーザーごとの（プロジェクトに依存しない）設定ファイルを実装したいです。設定項目はターミナルの色付けや、終了時のアクション（「PDFビューワーで開く」などのコマンドを実行できるようにする）を登録できるようにしたいです。フォーマットはTOMLを考えています（なので、TOMLパーサーを書かなくてはいけない）。

まとめると、以下の順序と時期で進めていきたいです。

  1. ClutTeX v0.6リリース：11月中、遅くとも年内
  2. ClutTeXをStandard MLで書き直したものがある程度動くようにする
  3. LunarML v0.1リリース：できれば11月中、遅くとも年内
  4. Standard MLで書き直されたClutTeXをリリース（v0.7?）：時期未定

やりたいことリスト（2023年10月）

数ヶ月前にやりたいことリストという記事を書きましたが、相変わらず（？）やりたいことに対して時間が少なく感じます。

プログラミング

LunarML

そろそろv0.1をリリースしたいです。記事も準備しています。

ただ、ClutTeXで必要な最低限の機能は揃えてからリリースしたい気もします。直近ではClutTeXで欲しくなったので BinIO と String.isSubstring を実装しました。

10月中にリリースできなくても、11月にはリリースするようにしたいです。

ClutTeX

BibTeX関連で具体的な修正箇所が判明したので直しています。

直したらリリースするべきですが、GitHubの方に来ているPRを先にマージした方が良いのか悩んでいます。まあこまめにリリースすればいいんですけど。

Standard MLへの書き換えも気が向いた時に進めていて、手足となるモジュールは大体移植した（あるいはLuaコードのラッパーをSMLで書いた）と思います。あとは一番大事なメイン部分です。

Haskell関連

SIMD周りの作業は休止中です。

32ビットArm向けのクロスコンパイラーをビルドしようとして遭遇した問題を（原因をある程度特定した上で）バグ報告したりしました。

執筆物

書きたい記事はいくつかあります。

  • 新しくプログラミング言語を作るとしたら文法をどうするか
  • 型クラスとインターフェースの比較
  • x86のVEX/EVEXプリフィックスとAPXについて

勉強したいこと

Handbook of Constructive Mathematicsは気になった章をつまみ食い的に読んでいます。

それで、構成的数学のモデル（？）みたいなものをもっとちゃんと勉強するべきだと思って、SGLを読んでみようかと思っています。しかしどうやって時間を捻出するかが問題です。

アウトドア

10月に入ってから安達太良山に行きましたが、若干物足りなかったので、もう少し秋山に行きたいです。しかし泊まりで行くと大掛かりになるので、近場で済ませるかもしれません。

欲しいもの

ミラーレス一眼が欲しいけど先送りにするのは前の記事に書きました。当面は一眼レフを使い続けます。

ただ、一眼レフで使っているレンズが、保管環境の管理をサボっていた時期があったせいか、像が微妙な感じになっている気がします。なので新しいレンズを入手したいのですが、一眼レフの全盛期が過去のものになったせいか、レンズのラインナップが以前と比べて減っている気がします。どうしたものか。

どっちみち今年は色々大きな出費があった（iPhone、登山靴、ミニPC）ので、出費を躊躇しています。

時間とお金の捻出

前の記事で言及したGitHub Sponsorsを始めてみましたが、まだ勝手がよくわかりません。まあどっちみちあまり期待はしていないのですが。

この記事は20分で書きました。

アルゴリズムの擬似コードと関数型言語

アルゴリズムの擬似コードを書く際は、いわゆる手続き型のスタイルで書くことが多いかと思います。つまり、更新可能な変数とループを使います。

一方、私がよく書くのは関数型言語で、これは更新可能な変数やループの代わりに末尾呼び出しを使用します。

では、アルゴリズムを提示してそれを関数型言語で実装する、というスタイルの文章を書く場合、アルゴリズムの擬似コードはどう書けばいいのでしょうか？

（ここでは、アルゴリズムの停止性、計算量、不変条件の明示等の観点から擬似コードの方が有益であり、関数型のコードだけを書けば良いというものではない、という立場を取ります。）

続きを読む →

Universal MachineのJITコンパイラーを書いた／x86_64編

前にこういう記事を書きました：

かいつまんで説明しておくと、Universal Machineというのは2006年のICFP Programming Contestで挑戦者が実装する必要のあるVMです。これは速ければ速いほどいいので、JITコンパイルに挑戦したくなります。2年前の記事ではAArch64向けのJITコンパイラーを書きました（私の家の最速マシンがM1 Macだったので）。

時は流れ、私の家の最速のマシンはM1 MacからRyzen搭載ミニPCへ交代しました。なので、x86_64版のJITコンパイラーも書きたくなりました。

今回対応したのはUnix系で、Windows版は未実装です。

続きを読む →

Haskell/GHCのSIMDについて考える

最近のコンピューターの性能を活用するには、何らかの並列化が必須です。具体的にはSIMDの活用やマルチコア（それとGPU）です。プログラミング言語でこれらを利用できれば「C言語よりも速い」を名乗れます。この記事では並列化技術のうち、SIMDを考えます。

HaskellコンパイラーであるGHCにはSIMDのプリミティブ（データ型と関数）が実装されています。しかし、広く使われているとは言い難いです。

続きを読む →

鳥海山登山

私が学部生の頃（10年ほど前）、鉄道旅の折に羽越本線の車窓から見えた山が立派だった。調べたらその山は鳥海山というのだった。その時から私にとって鳥海山はいつか登りたい山になった。

ただ、東北は学生の気持ちとしては遠く、なかなか行く機会に恵まれなかった。所属していた登山サークルの夏合宿で鳥海山の計画が立ったこともあったが、その時は何らかの事情で参加できなかった（人数の関係で遠慮したのか、日程が近い別の山行に誘われていたからだったのか）。

時は流れ、会社の人と山に行きたいですねという話になった。どうせなら私が登ったことのない山ということで、鳥海山に白羽の矢が立った。10年越しの夢を叶える時が来た。

続きを読む →

ミニPCを買った

新しいPCが欲しい

私が普段使うコンピューターはMacですが、Macでは動かないあれこれのために一応Windows環境も持っています。ですが、そのWindowsマシンが10年ほど前に組んだIvy Bridge世代の自作機なので、いい加減辛くなってきました。Windows 11に正式対応していないし。

ということで新しいマシンが欲しいのですが、部屋のスペースを消費したくないので大型のマシンは避けたいです。持ち運ぶ必要性も小さいと思われるので、無用なディスプレイやキーボードやバッテリーの付属するノート型も微妙です。なので、最近［いつ？］色々出ているミニPCを物色することにしました。

続きを読む →