形式仕様記述言語VDM++を使って、"Software Requirements Analysis and Specification Techniques"を教えています。

最近は Qiita はご無沙汰してます。古い記事はそのまま参考にしないようにご注意ください

ウィルキンソンジンジャエールを片手にコードを書く人。JavaScriptぐらいしかまともに書けない…。東京都内の工業高校に通うザコ学生。

S式とREPLが好きです。

僕に警備する自宅をください。Emacs初心者。Rubyist。 全ての投稿された記事は別段の表記がない限りはCC 3.0 BY-SA https://creativecommons.org/licenses/by-sa/3.0/deed.ja で二次利用できます。 記事中に含まれる全てのコードスニペットの著作権は抛棄するので、煮るなり焼くなりお好きにどうぞ。

主に C# とか JavaScript とか TypeScript とか。