ブログ記事置き場

長めの技術記事でも、数学記事でも、文芸記事でもないブログとしかいいようのない記事+旧ブログからの移行記事の集積所。

Articles

こんさんドットコムを TLS (HTTPS) に乗り換えた話 - 2018/02/09 22:35:00 JST

こんさんドットコムを TLS ベースに乗り換えたのでその顛末を。 特に、はてなブックマークの数が移行されないのでちょっと工夫したという話をする。

はてなの数式を綺麗にする Chrome 拡張機能をつくった(※はてな以外も※) - 2013/05/18 01:54:42 JST

はてダなど mimetex を使っている数式をMathJax経由で綺麗にレンダーするようにする Chrome 拡張。

8つの質問で、GHC の type-level language 業界の現状を知る - 2013/03/20 15:01:50 JST

「8つの質問」という釣り記事が技術クラスタで昔流行って、それに便乗してGHCの型システムの話を書いた。

konn-san.com を刷新した - 2013/03/11 03:19:07 JST

今みてる konn-san.com 設立当時の設立宣言。こっちがメインになるとは思わなかった。

さらば愛しき JavaScript —— 愛と欲望の果てに Haskell は fay と出逢う。 - 2012/12/25 14:11:11 JST

Haskell のプログラムからJavaScriptを自動生成する Fay という言語処理系についての紹介記事。Haskell Advent Calendar 2012 の七日目の記事。

サーバのデータが消えました - 2012/07/17 24:30:27 JST

サーバ管理はちゃんとしましょうという話。

GHC 7.4.1 の型レベル新機能を使い倒す 〜GADTs、型族 と DataKinds、ConstraintKinds の円環〜 - 2012/06/07 00:48:45 JST

GADTsや型族が入って、GHCの型システムがリッチになりはじめた頃の解説記事。

Haskell で LK の定理証明系を書いた - 2012/05/30 17:54:18 JST

Haskellの型機能をふんだんに使って、古典命題論理の体系であるLKの定理証明系を書いた話ぞ。

Yesod を支える技術 - 2012/03/24 14:41:14 JST

大昔のYesodの内部構造についての紹介。

初めてのブログ - 2012/03/12 15:00:59 JST

ブログを作った報告。技術的な詳細解説。