先日， Scala コードの裏側について幾つか話を聞いた．で，気になったので実際に JVM コードを出して，色々見てみることにした．なお，当方 Scala 初心者 …

以前ブログで数式環境を， MathML と MathJax で導入した．ただ色々敗北したので KaTeX を使うことにした．その備忘録．

先日 STG の動作について説明する機会があったんだが，ちゃんと説明できなかった．で，ちょっとこれじゃまずいって思 …

パッチファイルの形式にはいくつかあるわけだが， git の diff で使われている形式について，ちょっと調べたのでそのメ …

脚注をツールチップで見れるようにしたので，それについて．

ブログの CSS で，幅がはみ出るような要素のスタイルを幾つか修正したので，その対応記録．

reStructuredText は数式表示に対応している．ただデフォルトのレンダリング表示がいまいちだったので，ちょっといじった．その備 …

https://kazu-yamamoto.hatenablog.jp/entry/2019/04/11/111238 の記事に触発されて，ちょっと書く気になった．こちらも面白い記事なので，ぜひ参照してほしい …

sitemap とかを追加してみたので，それの備忘録．

ゼミの輪読で， Concepts, Techniques, and Models of Computer Programming (MIT Press) ，略称 CTM または CTMCP を読むことになった．その為の準備と，ちょっとだけ読んだのでそ …