私もこのblogで使わせていただいている、はてなブログが10周年を迎えたと言う。特設サイトも登場しているし、はてなブックマークでも特集されている。 それで私のblogの過去の記事は2007年のものからある。これは私のblogの当初は、はてなダイアリーというサ…

原理的に考察するのも必要なのだろう。 萩谷昌己。計算モデル概論。簡約の概念。状態と状態遷移。状態機械。現実の論理回路やコンピュータの構成。ラムダ計算から離れて。ラムダ項をより簡単なラムダ項で。数式を同じ内容の数式で置き換えることを簡約という…

友人と直に会うことがあると、アチコチの店を冷やかしで歩くのが楽しみの1つである。大抵は幾つか候補があるのでメニューを見て決めて、中で食べたり飲んだりして楽しむ訳である。事前に店を決めることもあり、ぐるなびなどのサイトを活用することが多い。便…