Seminar/20100723 - PukiWiki

論理と計算

第5回 論理と計算に関するセミナー (2010.7.23)

次の通り、論理と計算に関するセミナーの開催します。皆様のご参加をお持ちしております。

第5回 論理と計算に関するセミナー案内
日時: 2010年 7月 23日 (金) 午後 13:30 ~ 17:30
場所: 福岡市天神 九州工業大学サテライトキャンパス kyutechプラザ
http://www.kyutech.ac.jp/information/satellite_campus/index.html

講演プログラム

13:30-14:00 坂下一生(九州大学・数理学府)
            量子回路を簡約化する完備な変換規則について

14:00-14:30 田中久治(九州大学・数理学府)
            初等幾何学定理の方程式化 -角に関する記述の方程式化と自動化が難しい幾何学記述の例-

14:30-15:00 河原 康雄(九州大学)
              Kleene 関係と有限オートマトン

15:00-15:15 [休憩]

15:15-15:45 津曲 紀宏(鹿児島大学・理工学研究科、日本学術振興会特別研究員DC)
              完備べき等左半環の確率的モデルについて

15:45-16:15 古澤 仁(鹿児島大学・理工学研究科)
              完備べき等左半環の表現定理

16:15-16:30 [休憩]

16:30-17:00 藤尾光彦(九州工業大学・情報工学研究院)
              局所遷移規則の代数構造についてⅡ ― 異なる台を持つ場合 ― 

17:00-17:30 岩見智宏(福岡工業大学)
              Special moduliの変形とそれに付随するグラフ

会場(Kyutechプラザ)の写真 ・入り口

IMG_0320.JPG

・教室内

IMG_0318.JPG

問合せ先
九州大学大学院数理学研究院
井口 修一 inokuchi @ math.kyushu-u.ac.jp

  • 関連資料? (非公開)

添付ファイル: fileIMG_0318.JPG 732件 [詳細] fileIMG_0320.JPG 741件 [詳細]

トップ   編集 凍結 差分 バックアップ 添付 複製 名前変更 リロード   新規 一覧 単語検索 最終更新   ヘルプ   最終更新のRSSPDF
Last-modified: 2010-07-22 (木) 13:46:12 (2617d)