時相論理 (temporal logic) なる学問がある。全く聞いたことが無かったが，昨日初めてそういうものがあることを知った。うーむ，気になる。
goo blog お知らせ
プロフィール
-
- 自己紹介
- たくさんの猫に囲まれて暮らしています。
ブックマーク
- goo
- 最初はgoo
- Math, Physics, and Engineering Applets
- 波動やベクトル解析などの Java Applet 満載のサイト。
- NHK高校講座
- ガスコン研究所
- 僕と趣味が似ている方のブログ。
- シャブリの気になったもの
- フジＴＶ系「たけしのコマ大数学科」のレビューが中心のブログ。
- Earliest Known Uses of Some of the Words of Mathematics
- 数学用語の歴史がわかって面白い。
- セキュリティ用語事典インデックス
- IT用語辞典 e-Words
- J検
- 情報検定の公式サイト。
- 情報処理推進機構
- 基本情報技術者試験などの公式サイト。過去問と解答例，講評もある。
- 実用英語技能検定
- いわゆる「英検」の公式サイト。英語学習のアドバイスも満載。
- TOEIC
- TOEICの公式サイト。「レベルアップ道場」など，学習アドバイスもある。
- TOEFL
- TOEFLの公式サイト。
- Nobelprize.org
- 言わずと知れたノーベル賞に関する公式サイト。
- naturenews
- 科学に関する最新のニュースを紹介しているサイト。
- The Abel Prize
- 数学のノーベル賞とも言われているみたいなアーベル賞の公式サイト。
- 第3回 全国一斉！日本語テスト “口説き力” 判定
- ATOKが提供する5分で楽しめる無料のオンライン日本語力検定。
- アニメ検定
- 国際生物学オリンピック
