2019-01-01から1年間の記事一覧
たしか3回目のトライ。 遅延評価 基本的には嬉しいんだけど、計算コストを先払いしたいときは困ることも。 特にマルチコアCPUではコアが遊んでいるケースが多々あるので。 とてつもなく退屈なHaskellの関数succを呼び出してみます。 代数学では非常に重要な…
論理学 | 野矢 茂樹 |本 | 通販 | Amazon P23 ということは、日常言語は非論理的ということなのじゃろうか。 そうだなあ。 いや、そうじゃないでしょう。 違うのか これ、大事なところだと思うんですけどね、「真理関数的ではない、イコール論理的ではない」…
https://www.amazon.co.jp/dp/B071ZMCK32/ 都心での自転車走行が余りに危険なため正しい走り方を法律面から知りたくなって読んだ。 知りたかったことでわかったこともあったが、道交法ブックを歌っているにもかかわらずやはりこの本でもxxxの法律は現実的で…