忍者ブログ

前のエントリで『プリンキピア・マテマティカ』の定理54.43およびこの定理54.43を用いてなされる"1+1=2"の証明ステップ数を調べるために使ったMetamath programを公開しているその名もMetamathなるページのProof Explorerというセクションがやばすぎます。「やばい」という、本来わるい意味にしか使われていなかった語がいつしかどちらかと言えばよい意味で使われるようになった経緯が得心できるぐらいにやばいです。読まなければならないもの、書かなければならないものを山ほどかかえ、おまけに明日は教授との会合やら事務仕事やらで普段平生より早く学校に行かなければならないというのに、ある定理からそれに使われているサブ定理を追ってるうちに、もうこんな時間(午前3時過ぎ)ですよ。量子論理のセクションもありやがるし、なんつうか、いい意味に転用されるようになった「やばい」が、ぐるっと一周してわるい意味に戻ってきた、そんな感じですね。

PR
この記事にコメントする
お名前
メールアドレス
URL
コメント
この記事へのトラックバック
この記事にトラックバックする:
カレンダー
05 2017/06 07
S M T W T F S
1 2 3
4 5 6 7 8 9 10
11 12 13 14 15 16 17
18 19 20 21 22 23 24
25 26 27 28 29 30
最新コメント
[06/27 カルティエ 指輪 クリーニング]
[06/27 ブランド激安 時計 0752]
[06/27 ブランド激安通販]
[06/26 バッグ ブランド激安]
[06/26 s品 n品]
[06/26 ルイビトン激安本物]
[06/26 グッチ 長財布 メンズ]
[06/26 ブルガリ カフェ 銀座]
[06/26 レディース財布 ブランド激安]
[06/26 カルティエ 結婚指輪 アフターサービス]
最新トラックバック
メール
ブログ作成者(はやし)に直接訴えたいことがある、という場合は、下のアドレスにメールをどうぞ。

thayashi#ucalgary.ca
(#を@に置換してください)

ブログ内検索
Google
WWW を検索 このブログ内を検索

はやしのブログ内で紹介された
 書籍の検索はこちら
 音盤の検索はこちら
ランダムおすすめ
(忍者ブログに引越してから、うまくうごかなくなってしまいました。いつか、直します)
Randombook
このブログで紹介したことのある本をランダム表示。
Randomusic
このブログで紹介したことのある音をランダム表示。
自分がらみのリンク
はやしのブログ書籍一覧
このブログで言及された書籍の一覧。
はやしのブログ音盤一覧
このブログで言及された音盤の一覧。
最近のおすすめ本
最近のおすすめ音

Copyright © [ はやしのブログ ]
No right reserved except those which belong to someone else.
Special Template : 忍者ブログ de テンプレート and ブログアクセスアップ
Special Thanks : 忍者ブログ
Commercial message : [PR]