次の職場はどこですか？とよく聞かれるのですが、実はサイボウズ・ラボで働いています。 周りが優秀な人ばかりで刺激をたくさん受けています。 楽しくてみんなが幸せになるようなサービスが作れると良いな。

論文を読んでいるとどうしても矛盾しているように見え理解できない。でも他の人たちはすらすらと理解できている様子。そうなると自分は相当頭が悪いのだなとヘコむ。 しかしながら今回は見るべき図がそもそも間違っていたというオチ。矛盾しているし理解でき…

ここに書いてある内容は古いです。A正規形まとめをご参照ください。Figure 8 にあるCaEK machine の Transition Rules と Figure 9 の変換用コードの対応がまだ理解できない。かなり苦しい。 分からないことひたすら列挙していくか。 手続き呼び出し は引数…