会社太郎 "数学ガール（ゲーデルの不完全..." 1900年1月1日