このブログの更新は Twitterアカウント @m_hiyama で通知されます。
Follow @m_hiyama

メールでのご連絡は hiyama{at}chimaira{dot}org まで。

はじめてのメールはスパムと判定されることがあります。最初は、信頼されているドメインから差し障りのない文面を送っていただけると、スパムと判定されにくいと思います。

参照用 記事

2006-10-20から1日間の記事一覧

論理とはなにか? (2)

「論理とはなにか?」の続き。論理それ自体の知識をできるだけ仮定しないで、論理の一般論のエッセンスを解説しましょう(そう試みてはみるよ)。内容: 前置き フツーっぽい命題証明系 「仮定なし」と「複数の仮定」への対処 一次方程式の証明系 一般的な手…

漢字であそぼう

兄:「お父さん、漢字書いて」父:「おお、いいよ」兄:「ウコサベン」父:「なっ、なにぃ … 他のにしなさい」兄:「シカンダザ」父:「はぁ … …」弟:「お父さん、漢字書いてぇ」父:(ほっとして)「よーし、××君のいうやつを書いてやろう(こいつは、山と…