2019-01-01から1ヶ月間の記事一覧
ラムダ計算セルフブログリレー5日目, 最終回です. 今日も平常運転, くまちゃんです. 4日目はこちら. あれ?4日目をさっき書いたような気もするんですけど...まあいいでしょ笑笑 kumachan-math.hatenablog.jp今日は例を使ってバリバリ証明図を書いていくぞー…
ラムダ計算セルフブログリレー4日目です. 今日も平常運転, くまちゃんです. 3日目はこちら. kumachan-math.hatenablog.jp今日からは, 型の話です. 型の話をするために, ラムダ計算を拡張したFL言語というものを考えましょう. FL言語は, ラムダ計算にint型とb…
ラムダ計算セルフブログリレー3日目です. 今日は異常運転, くまちゃんです. 2日目はこちら. kumachan-math.hatenablog.jpあれ, 2日目をさっき書いた気がしなくもないんですけど, まあいいです. 昨日(確かに昨日, うん)は, ラムダ式の簡約について書きました…
ラムダ計算セルフブログリレー(今命名)2日目です. 今日も平常運転, くまちゃんです. 1日目はこちら kumachan-math.hatenablog.jpはてなブログにはカテゴリーなるものがあって記事を分類できるらしいことがわかったので, カテゴリ名に「ラムダ計算」とつけて…
いやはや, 試験というものはいつになっても嫌ですね. 試験勉強をほっぽり出して研究をしています. 今日も平常運転, くまちゃんです. いい加減試験勉強をしなくてはいけないのだけど, 全くやる気が起きないので, こうしてブログにまとめることで自分の勉強を…
なんか気分なので, また記事を書こうと思います. 筆者は大学生なので, 定期試験と言うものを受けなければいけません. 今回の定期試験の範囲にEMアルゴリズムっていうのがあるのでそれについてまとめてみたいと思います. パターン認識を専門にしようと考えて…
お久しぶりです. 本当に1年ぶりとかでしょうか. 文章を書くのは苦手なもんで, 気が向くのがこれくらいのペースなのです. さて, 久しぶりと言っておきながら, 今日書くことは数学のことではありません. 筆者は理系の大学生なので, 実験レポートを書く機会が多…