地元、富山県の鉄道ネタを書いてみる。
富山県西部を走る城端線の二塚駅（高岡市）からは、近くの中越パルプ二塚工場へ専用線が伸びていた。残念ながらその役目は2015年ごろに終わってしまったが、その後どうなっているかを（2020年6月に）見に行った。
続きを読む廃線跡探訪：二塚の中越パルプ専用線（2020年6月）
1件のフィードバック
Standard ML雑学
SML処理系を書いていると必然的にSMLの重箱の隅に詳しくなっていくものである。ここでは筆者が意外だと思ったSMLの仕様を取り上げてみたい。
続きを読む
廃線跡探訪：鹿島鉄道（後編）
廃線跡探訪：鹿島鉄道（前編）
茨城県石岡〜鉾田を結んでいた鹿島鉄道の廃線跡を自転車で巡ってきた。2021年6月上旬に訪れた。
続きを読むLunarML進捗：signatureの実装に向けて
自作SML処理系「LunarML」の言語機能の実装も佳境に入ってきて（equalityやexception等の厄介な奴らはだいたい片付けた）、残すところは
- withtype (derived form)
- abstype（Successor MLに従いderived formとして実装する予定）
- signature
- functor
くらいとなってきている。
続きを読む自作SML処理系進捗：Hello Lua!
自作SML処理系進捗：Hello world
GHCに初めてコントリビュートした／最近のGHC動向
事実上の標準なHaskell処理系であるGHCに貢献するというのが去年掲げた目標だったが、それがようやく実現したので報告する。ついでに、最近のGHC開発状況についても簡単にまとめてみる。
続きを読むシン・エヴァンゲリオン感想
「シン・エヴァンゲリオン劇場版」を初日に見てきたがTLに全然感想が流れてこなくて寂しいので自分で書くことにする。ネタバレ注意。
続きを読む公式の暗記と導出
どうやら受験シーズンのようなので、高校数学に毛の生えたレベルの話でもしてみようと思う。
続きを読む