冷めて変形したのか、昨日鳴いてなかった電球も鳴くようになってた

いけぁ (@ IKEA in Round Rock, TX) https://www.swarmapp.com/osa_k/checkin/5c8ea3bf8ad62e0039c41f56?s=LBvaGq-KGn3LBzofIem_Z6MyU98

イケア、オレンジ色っぽい電球色の電球しか置いてなくてマジかってなった

はい

あずにゃん (@ Jack Allen's Kitchen in Austin, TX) https://www.swarmapp.com/osa_k/checkin/5c8f0034b9ac38002b54162e?s=E2I1LO4YiECQGv_aKOEuDo2PXAw

あずにゃんはかわいいなあ

あずさ

再帰の分からないポイント、自分の場合は再帰関数の呼び出しをたどると確かに望みの動作が実現できているというのを何回も試した上で、なんでその構造を思い付けるのかが分からないという感じだった。何かしらのPreconditionとPostconditionを満たす関数がトップダウンに書けたと仮定すれば（終了条件は別として）再帰関数の形にできると気付いたら理解できるようになった

数学的帰納法を習ってbase caseによって再帰の止まる条件を理解できるようになったし、大学で形式的証明をやって再帰がなんで止まるのか分かるようになった

あずにゃん あずにゃんはなぜ

カッコ内まで含めて分かりみしかない

分かりみで家が建つ