2006-10-30から1日間の記事一覧
「古典論理は可換環論なんだよ」のなかに、 愚直にrudimentary calculationを実行してください。 これまたひたすら単純計算をすれば、… これも、紙と鉛筆と手で単純計算あるのみ。 という表現がありますが、僕は実際には計算してなかったので、やってみまし…
このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama
メールでのご連絡は hiyama{at}chimaira{dot}org まで。
はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。
「古典論理は可換環論なんだよ」のなかに、 愚直にrudimentary calculationを実行してください。 これまたひたすら単純計算をすれば、… これも、紙と鉛筆と手で単純計算あるのみ。 という表現がありますが、僕は実際には計算してなかったので、やってみまし…