なのログ

だから見てて下さい・・・俺の・・・変身

ふりかえり系仕事プログラミング雑事

近況みたいなのを書こうかなと思った回です。
主に2月半ばからの仕事の話。

型システム入門読書オベンキョ

第５章型無しラムダ計算、３節形式的議論。
この節苦手なんですよね。形式的議論シリーズ。
この節、いつも「お前何言ってんだ」感が強い。（暴言）

F# 型システム入門読書オベンキョ

またお久しぶりになってしまいました。型システム入門です。
今確認したら１ヶ月以上空いてますね。うわあ。これは罪では。
今回でやっと５章２節「ラムダ計算でのプログラミング」を抜けます。

ふりかえり系雑事

なんか普通の話題っぽいぞ・・・！
「こういうの書いておくのがブログたるものだよな」みたいな、
人並みの気持ちが湧いてしまったので。書きます。

型システム入門読書オベンキョ

～～ぜんかいのなのやつさん～～

尻切れトンボなかんじなので、また早いうちに続きをしにきます。（希望）

～～３週間経過～～

読書型システム入門オベンキョ

第６回です。５章のつづき。
前回「カットするかしら」とか話した部分になりました。型無しラムダでのいろんな表現。

ふりかえり系雑事

タイトルこれでいいんか。
引っ越すとか転職するとか言っていた話です。