2013-09-07 EvalML1Errにおける評価の全域性の証明 Coq プログラミング言語の基礎概念 前回はプログラミング言語の基礎概念に出てくるEvalML1についての定理を証明したので、ついでに実行時エラーも扱うEvalML1Errにおける評価の一意性を証明したいと思います。 続きを読む
2013-09-06 EvalML1における評価の一意性の証明 プログラミング言語の基礎概念 Coq Coqの練習にプログラミング言語の基礎概念に出てくる、EvalML1における評価の一意性について証明したので公開したいと思います。 続きを読む
2013-04-15 型推論書いたった OCaml プログラミング言語の基礎概念 タイトルの通り、OCamlでOCamlのサブセットの型推論を書いたので、その事について纏めておこうと思います。 続きを読む
2013-04-02 プログラミング言語の基礎概念の演習問題を解くプログラム OCaml プログラミング言語の基礎概念 プログラミング言語の基礎概念と言う意味論や型理論の入門に良さげな本が有るんですが、この本は嬉しいことにオンライン演習システムが有るので実際に手を動かしながら内容を理解することができます。 続きを読む
2013-03-30 正弦波が入力された時の過渡応答を簡単に求める方法 電気回路 過渡応答を求めるのって正直面倒臭いですよね!電気系の学生には多分頷いてもらえると思います。 中でも面倒臭いのは正弦波が入力された時。微分方程式を直接解くにしても難しいし、ラプラス変換するにしても部分分数展開するにしても面倒臭い困ったやつです。 続きを読む