English
トポロジープロジェクトの一環として, 標記の研究集会を開催いたします.
この研究集会は, 平成２２年度科学研究費補助金（基盤研究A）
「３次元多様体の深化」 課題番号 22244004, 小島 定吉氏(東京工業大学情報理工学研究科)
の援助を受けています.
開催期日と会場
期日: 20010年9月8日(水)〜9月10日(金)
会場: 東京工業大学, 大岡山キャンパス
(8日と10日)西8号館E棟10階情報理工学研究科大会議室,
(9日)本館 H101
趣旨
本研究集会では, コンピュータを利用したトポロジーの研究の発展を目的としています.
次のような講演を計画しています.
- 計算機実験が予想したトポロジーの命題に関する講演.
- 計算機支援証明によって得られたトポロジーの命題に関する講演.
- 実装化に成功したトポロジーのソフトウェアを紹介し, 共有する講演.
- 計算機への実装化に成功していないトポロジーの問題を提起し,
実装化によって期待できる研究の発展を紹介する講演.
- 通常の集会では話されにくい計算部分, 特に計算機実験方法およびその実験結果に関する講演.
数学の研究過程では, 計算機実験によって様々な予想を立て, それにもとづき数学的な証明を与えることに成功すること
は珍しくありません.
しかしそのような過程で行った計算は, 研究の成果を述べる論文や研究発表では切り捨てられることが多いように思われます.
本研究集会では, 数学の研究過程で行う(実は生き生きとした)計算にも焦点をあて, トポロジーの研究者達の交流の場を提供したいと考えています.
プログラム
プログラム (PDF)
アブストラクト (PDF)
アクセス
東京工業大学大岡山キャンパスまでのアクセス
大岡山キャンパスマップ (8日と10日の会場はキャンパスマップの26番です. 9日の会場は1番です.)
過去の「トポロジーとコンピュータ」
更新日：2010年10月4日
世話人: 金 英子(東京工業大学)
e-mail: kin(at)is.titech.ac.jp