kihirohitoさんのユーザーページです。♪このみちーはーいつかきたみーちー あーあーそおだよーおーひくくひくくとぶんだ。やつらのあきれすけんをかくじつにきりさくために。うどんのなかへいけ。うどんのなかへ。
kihirohito - ニコニコ
kihirohitoさんのユーザーページです。♪このみちーはーいつかきたみーちー あーあーそおだよーおーひくくひくくとぶんだ。やつらのあきれすけんをかくじつにきりさくために。うどんのなかへいけ。うどんのなかへ。
■ - あいまいな本日の私 blog
起床は8時半、眠い。出勤してコード書き。Agda2のプログラム例を探す。帰宅は21時15分、夕食はタリアッテレのクリームソース。
2007-10-22
起床は9時、出勤して論文読みとコード書き、20時半まで、帰宅は22時頃。夕食はサツマイモのスープと、ピーマンとウィンナーのトマトソースパスタ。 昨日の不完全性定理についてのエントリ、短時間でお答えがいただけるとは思っていませんでした（(mt)^2さん、ありがとうございます）。今回は、いただいた答えの中で、気になった点を時間がないので二カ所だけコメントしたいと思います。 (3.1) 純構文論的性質と、意味論に関係する性質を混同している例 前回の問題の中で、 (3.1)「不完全性定理の意味の「完全性」が、論理の完全性の意味での「完全性」とどのように違うのかを説明せよ。また、両者の混同について、吉永良正以外の例を挙げよ。 (5点)」 というものがありました。私自身が考えていた例は、Rebecca Goldstein による "Incompleteness: The Proof and Parad
はてなブログ | 無料ブログを作成しよう
賃貸暮らしのわが家の地震対策【揺れから命を守る編】 以前のブログでも記載した、防災の優先順位に基づいて対策を進めています。まだ手をつけられていない部分もありますが、ある程度まとまってきたのでざっくりとご紹介していきます。 優先順位別に改善していっているため、今回は主に地震の揺れ対策がメインになります。…
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
サービス終了のお知らせ