かがみさん（こちらの3月24日付）のところで話題になっていた話に触発されて。「標準的自然数とは何か」と言う質問にどう答えるかで、その人の人となりが分かるような気がするんです。長くなりそうなのでこちらで論じさせていただきます。…といっても、結構…

晴れているが今日も肌寒い。出勤して某原稿、いろいろ協議する。午後は会議、それから各種処理。21時に帰宅、夕食はチキンのホワイトシチュー。 職場近くの桜、咲き始め。