このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2009-08-10から1日間の記事一覧

Caty:Jsonic型システムに向けての形式化

前置きと状況説明を書いたので本題。JSONベースの型システムは、Catyにとって必須の構成要素です。だいたいのスケッチは出来ていて、実装も進んでいます。それで、細部まで詰めようと思ったら、抜けや矛盾がボロボロ出てきて、…… 今までチンタラ・モンヤリ考…

Catyプロジェクト/ソフトウェアについて

http://return0.dyndns.org/log/2009/08/08#s_1 : ところで既に何度か書いている通り、今の俺の仕事は檜山さんの配下で世界を転覆させるソフトウェアを開発することなのだが、ここ数日はそこで使うための対話シェルとスクリプト言語の開発をやっていた。 “世…