書いた / 浮動小数点数に1を掛ける操作は最適化できるか／浮動小数点数のビット列表現のカノニカル性について zenn.dev/mod_poppo/ar...

ブログ更新した / プログラミング言語の表層構文の合理性／プログラミング言語の見た目を自然言語に寄せることが良いとは限らない blog.miz-ar.info/2025/09/surf...

書いた / 異世界JavaScript zenn.dev/mod_poppo/ar...

GHC 9.14の新機能 zenn.dev/mod_poppo/ar... 書きました。最先端のHaskellコンパイラーをいますぐダウンロード！

お仕事の話が続きますが、9月4日に新刊の発売を予定しています。Lean 4というプログラミング言語に関する少なくとも日本初、もしかしたら世界でも初となる商業的な解説書です。特に3章とか4章くらいまでは、数学と計算機の両方の理論的な関係に興味がある人にとっては一気に視界がひらける内容になっていると思います！ www.lambdanote.com/blogs/news/l...

ブログ更新した / LunarMLの近況／中間言語に型をつける blog.miz-ar.info/2025/08/luna...

ブログ更新した / 可算選択公理を仮定しない構成的数学での実数の構成について blog.miz-ar.info/2025/08/real...

ブログ更新した / 有限にも無限にもなれない僕らの集合 blog.miz-ar.info/2025/07/fini...

ブログ更新した / 良いコンパイラーは親切なエラーメッセージを出さなければならない：LunarMLの場合 blog.miz-ar.info/2025/07/good...

ブログ更新した / LunarMLとJavaScriptの連携について blog.miz-ar.info/2025/07/luna...

ブログ更新した / 定理証明支援系についての問題意識 blog.miz-ar.info/2025/07/ques...

書いた / bfloat16 (brain float16) のCPUによる対応とC言語からの利用 zenn.dev/mod_poppo/ar...

ブログ更新した / 「関数型まつり」に行ってきた blog.miz-ar.info/2025/06/fp-m...

ブログ更新した / 可算選択公理と実数 blog.miz-ar.info/2025/06/coun... 最近の悩み情報です

書いた / CPUの機能を実行時に検出する：RISC-V Linux編 zenn.dev/mod_poppo/ar...

ブログ更新した / 「関数の副作用の有無」よりも大事なもの blog.miz-ar.info/2025/06/side...

ブログ更新した / 記事を書くときに気をつけていること、読んでもらうための工夫について blog.miz-ar.info/2025/06/writ...

ブログ更新した / 自動車を買った／車は移動を自由にするか blog.miz-ar.info/2025/06/my-n...

技術書典18は本日です。だめぽラボでお待ちしています

ブログ更新した / GHCデバッグ日誌 CI編 blog.miz-ar.info/2025/05/debu...

某書典的な話（多分🙂） 『苦しみのTeX言語プログラミング』をLaTeXで楽しむ方法 ― Qiita qiita.com/zr_tex8r/ite... #TeX #TeX言語 #TeXLaTeX

ブログ更新した / 技術同人誌執筆の自分の流儀 blog.miz-ar.info/2025/05/book...

サークル「だめぽラボ」は6月1日に池袋サンシャインシティで開催される #技術書典 18に参加します。新刊「作ってわかるTeX言語」のほか、Haskell関連の既刊などを頒布します。

宣伝というか、お知らせです。新刊『型システムのしくみ』が出ます。直販サイトでは4月18日のどこかの時点でカートに入れられるようになる予定です www.lambdanote.com/blogs/news/t...

書いた / Haskell/GHCの書き換え規則（rewrite rules）覚え書き zenn.dev/mod_poppo/ar...

ブログ更新した / Intel SDMの誤植を直してもらった blog.miz-ar.info/2025/04/inte...

この3ヶ月くらい取り組んでいたGHCへのパッチがマージされました。x86 NCGで整数のSIMD演算ができるようになります。x86のSSEがカオスなのと、乱数により生成されたテストケースのために行数が多めになっています。GHC 9.14に入る見込みです。 gitlab.haskell.org/ghc/ghc/-/me...

ブログ更新した / 数学とプログラムはどちらが易しいか／数学とプログラムの違い blog.miz-ar.info/2025/03/math...

書いた / TypeScript使いの憂鬱：never型はプロパティを持つか blog.miz-ar.info/2025/03/type...

ブログ更新した / never型があると便利か（言語処理系実装者の観点から） blog.miz-ar.info/2025/03/neve...

書いた / 「インタプリタは機械語に翻訳する」という誤解 blog.miz-ar.info/2025/03/inte...

ClutTeX v0.7.0をリリースしました github.com/minoki/clutt...

だめぽラボは技術書典18オフラインに当選しました。頑張って新刊を書くのでよろしくお願いします

技術書典18にサークル「だめぽラボ」として参加申込をしました！ #技術書典 techbookfest.org/event/tbf18

ブログ更新した / √2が無理数であることの証明と背理法と構成的数学 blog.miz-ar.info/2025/02/irra...

メジャーな分野（Rubyの初級レベルとか）に限ると、内容の正しさに関しては 「某キータにあるAI生成っぽい解説記事(っぽい書き方の記事)」 の方が 「某キータにある人間が書いた解説記事(っぽい書き方の記事)」 の“平均的なもの”よりもマシだったりするんだよなあ🤔

ブログ更新した / AIでも生成できる技術記事に価値はあるのか blog.miz-ar.info/2025/02/ai-g...

書いた / C言語のinline関数について：C99とGNU89の違いも含めて zenn.dev/mod_poppo/ar...

書いた / 言語処理系にSIMD命令を実装することについて（主にx86向け） zenn.dev/mod_poppo/ar...

最近のWindowsでWSLがエクスプローラーに出てこなくなったため、URLに\\wsl.localhost\と打ち込んでいる

ブログ更新した / WSL2へVS CodeからSSH接続する／VS Codeを使いこなしたい blog.miz-ar.info/2025/02/ssh-...

書いた / HaskellのPrimMonadとうまく付き合う その1 zenn.dev/mod_poppo/ar...

> オイラーが書いた本は多分英語ではないですよね。Elements of Algebra – Wikipediaによるとロシア語か？ Wikipedia記事を信用するなら、「1770年刊」で「英語への直訳がComplete Introduction to Algebra」であることから、当該の文が指示している書籍は（Euler自身が書いた）ドイツ語でしょうね。

ブログ更新した / 「オイラーの定数ガンマ γで旅する数学の世界」を読んだ blog.miz-ar.info/2025/01/eule...

書いた / GHCのLLVMバックエンドの使い方 zenn.dev/mod_poppo/ar...

書いた / AVX-512とAVX10とCPUID雑感 zenn.dev/mod_poppo/ar...

ブログ更新した / 2024年振り返りと来年に向けて blog.miz-ar.info/2024/12/look...

書いた / IEEE 754-2019のminimum/maximum/minimumNumber/maximumNumber演算を実装する zenn.dev/mod_poppo/ar...

ブログ更新した / 言語処理系がLLVMに依存することの良し悪し blog.miz-ar.info/2024/12/depe...

書きました / GHCへの私の貢献2024 blog.miz-ar.info/2024/12/my-c...