index

ネットでコンピュータのお勉強、楽しいな～

ソフトウェア工学

ソフトウェア技術者協会のフォーマル・メソッド分科会 (sigfm)
　確かに“formal　method”は工学なんでしょう。だけど交通や軍事以外でも役に立つのであろうか...
　いくらアルゴリズム自体を検証できても、ライブラリやＡＰＩは全くのブラックボックスですから。
　余談であるが、さいきんは“ソフトウェアは動いているから正しい”というのは正しいような気がしてきた。

形式的手法（formal　method）　のリンク集
　超有名です。といってもコノ世界での話ですが。
　フツーの人が知ってるのはBとＺくらいでしょうね。

北陸先端科学技術大学院大学の二木先生
 先生のプロフィール
　中身がほとんどなくなってしまいました。CafeOBJ があるからま～いいか。
CafeOBJ
　むかし鉄道の信号システムの記述をCafeOBJ でやったらしいのですが、うまくいったのかしら？

CafeOBJ HomePage
ＯＢＪはスタンフォードで開発された代数仕様記述言語です。
ＣａｆｅＯＢＪは情報処理振興技術協会のプロジェクトが開発した
処理系で、ここからダウンロードできます。

＃　まったく余談だがプロトコル記述言語とか仕様記述言語とかいっぱいあるみたいだけど、
＃　レベルの高いお仕事してる人が使ってるのかしら？　

神戸大学 Prolog ホームページ
　Prologｇのリンク集があります。
　Prologと言えば論理型言語の代表ですが、直観論理の一種の実装なんですね。それで否定がとれない。
　この程度のことを去年（２０００年）まで知らなかった（＾＾；
　学習院の飯高先生が書いたＰｒｏｌｏｇの本があるのですが、なかなか見つかりません。

九州大学藤田博研究室
　ここに動的な検証エージェントつ－モノがあるのをたまたま見つけた。
　全然更新してないが、その後どうなったのであろうか。学会誌や論文調べるのめんどい...
　最近ＪＡＶＡに興味を持ったのであらためて気になる。

記号論理と情報科学

ゲーデルと数学基礎論の歴史
　なにも言うことはないですね。林晋先生のホームページです。
　最近お忙しくて掲示板の方針を変更されたのが残念。
　学生時代に前原先生の第二不完全性定理についての勘違いを指摘したのはもはや伝説です。
　それを著書の前書きに書いてしまう前原先生もすごい...

　同　ゲーデルＢＢＳ
　’９９年の過去ログは必読です。ダウンロードしてください。

記号論理と情報科学研究集会　ＳＬＡＣＳ
　林先生が昔幹事をなさってました。最近は無関係ということですが。

京都産業大学の三好先生
　数学系の先生ですが、トッパン版“プログラミング言語C++”第二版の共訳者です。
　古本屋で見かけたらずぐ買いましょう。
　計算の哲学プロジェクトてメンツがすごいですね。
　“三好博之（京都産業大学）、戸田山和久（名古屋大学）、郡司ペギオ幸夫（神戸大学）、塩谷賢（千葉大学）”
　こういうのに深入りして大丈夫なのでしょうか？

京都産業大学の八杉満利子先生
　あの竹内外史先生と共著を出したというだけで．．．スゴイ.
　林先生との共著の論理パズルの本も楽しいですよ。

文学部の論理学

慶應義塾大学文学部哲学科飯田隆研究室
　“数学の哲学”と言語哲学
　リンク集が充実してます。国内外の“業界人”、“業界事情”がよくわかります。

慶應義塾大学文学部哲学科岡田研究室
　こちらも文学部ですが論理学及び計算機科学部門もやってます。
　岡田先生は学部の時にＫｒｅｉｓｅｌに論文を送ってコメントをもらったそうです。
　その後、イリノイの竹内外史先生のとこで学位をとり、帰国後はフッサールで文学博士。
　すごいですね。

概して、文学部の記号論理学は生半可なとこが多いのですが、このあたりはさすがです。

京都大学の内井惣七先生
　科学哲学のえらい先生です。有名な教科書がありますね。
　ただしミシガン大に留学していたときに恩師は、フォン・ノイマンの
遺稿をまとめた「自己増殖オートマトンの原理」の編者です。

数学基礎論

東北大学の田中一之先生
 仙台ロジック倶楽部
　最近は逆数学が有名。哲学でも計算機科学でもない“数学”としての基礎論の王道ですね。
　だけど田中先生自身は東京工業大学の情報科学出身らしい。

北見工業大学の嘉田勝先生
 北見工業大学の渕野昌先生
　公理的集合論のページがあります。
　地方国立大学理科系はスタッフが充実してますね。だけど学生はちゃんと勉強をしているのかな？

その他

北海道大学の辻下先生のＦＣＳセミナー　　　　Formal methods in Complex Systems Research
　なんかアレですね、この先生は（＾＾；）。いろいろと”怪文書”があります。
　高次元圏で業績をあげられた方ですから、まったく電波ということは無いでしょうけど。
　哲学の中戸川先生とも共同研究をされてるのかな？

デーモン君の画像
　ＦｒｅｅＢＳＤユーザ以外の方もどうぞ。可愛いデーモン君がいっぱい。
　私はＷｉｎｄｏｗｓやＬｉｎｕｘにもデーモン君にシールを貼ってます。
　秋葉原のプラットフォームでデーモン君のTシャツやエンブレムも売ってますね。