via okaz ; catch up later ! id:rokaz:20060829
●郡司ペギオ幸夫研究室 http://www.kobe-u.ac.jp/~nlinear/gunji/
郡司ペギオ幸夫研究室ウェブサイトより 論理が時間を捨象する為に隠蔽してきた構造 http://www.kobe-u.ac.jp/~nlinear/gunji/summary.html 動的概念束を用いた現象論的計算 http://www.kobe-u.ac.jp/~nlinear/research/conseptlattice/index.html