なのログ

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

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

第１１回。前回から２１日です。３週間。
「週刊型システム入門」くらいになると嬉しいんですけどね。難しいですね。
６章「項の名無し表現」、後半です。

memo プログラミング Kotlin

Kotlinのコルーチンのはなし。
基本のチュートリアルをやりました。わからんことのメモとかそういうの。

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

祝・第１０回。（セルフ祝辞）
メイドインアビスの更新が先か本シリーズの更新が先かという様相を呈していましたが、
なんとかこちらに軍配が上がるようです。やっていきましょう。

ふりかえり系仕事

振り返り記事をまたやりにきました。前回が3月末だったな～と思うたびに、
「あ～じゃあ四半期ごとにメモるか」って思ってたんですよね。というわけで現在6月末。どうぞ。

プログラミング Android 仕事単発記事

よくある話題：「外部に書こうかな～～自分のブログに書こうかな～～」
弊ブログでの回答：「両方で」

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

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

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

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