タグ別アーカイブ: seminar

第16回 論理と計算セミナー

次の通り、第16回 論理と計算セミナーを計画しています。
皆様のご参加をお持ちしております。

日時: 2018年 9月 3日 (月) 16:30〜18:00
場所: 福岡工業大学 FITセミナーハウス(大分県由布市湯布院町)
http://www.fit.ac.jp/shisetsu/kagai/seminar/index
参加費:基本無料ですが,宿泊される場合は,論理と計算サマースクールの参加費が必要.
講演,参加申し込み締切:8月10日
講演:

  1. Brett McLean (University College London, 学振特別研究員(サマープログラム)):Algebraic reasoning for functions
  2. 溝口佳寛(九大IMI・数理・データサイエンス教育センター):九州大学数理・データサイエンス教育研究センターと AIMaP 事業について
  3. 井口修一 (福岡工業大学 情報工学部):1次元CAで実現する奇偶ソートについて

今回の論理と計算セミナーは,論理と計算サマースクールの一部として開催する計画です.論理と計算サマースクールは,HPにも趣旨を書いていますが,学部生を中心とした超若手研究者に研究発表・議論の場を設け,研究活動への意欲向上を狙ったものです.こちらも参加を検討いただけると幸いです.

第1回論理と計算サマースクール

講演希望,不明な点,質問などありましたら,井口までご連絡ください.

井口修一( inokuchi (at) fit.ac.jp )

第15回 論理と計算セミナー

日時: 2017年 2月 17日 (金) 14:00〜
場所: 鹿児島大学理学部2号館5階502
 ( https://www.kagoshima-u.ac.jp/about/campusmap.html )

講演プログラム:

  • 14:00 — 14:30  森 雅生(東京工業大学):関手データモデルに関する実務的見解
  • 14:30 — 15:00  中村誠希(東京工業大学):KleeneのAntimirov偏微分について
  • 15:00 — 15:15  [休憩]
  • 15:15 — 15:45 西澤弘毅(神奈川大学):Multi-valued multirelations
  • 15:45 — 16:15 河原康雄(九州大学):関係の連続性と陰関数の定理
  • 16:15 — 16:30  [休憩]
  • 16:30 — 17:00 田中義人(九州産業大学):Semilattices with operatorsのquasi-identities
  • 17:00 — 18:00  自由討論(当日飛び入り講演OKです!)
  • 18:30 — 懇親会

講演希望,不明な点,質問などありましたら,井口までご連絡ください.

The 14th Logic and Computation Seminar

Date: 2015-11-12 13:00-16:50
Place: Momochi Office, Institute of Mathematics for Industry, Kyushu University
3F, Industry-University-Government Collaboration Innovation Plaza,
3-8-34 Momochihama Sawara-ku, Fukuoka, JAPAN)
( http://imaq.kyushu-u.ac.jp/ja/imaq/access.php )

Program:

  • 13:00-13:10 (Opening)

  • 13:10-13:50
    Verification of Relational Programs and Approximation Algorithms
    Peter Höfner (NICTA, Australia)

  • 14:00-14:40
    Relation-Algebraic Verification of Prim’s Minimum Spanning Tree Algorithm
    Walter Guttmann (Univ. Canterbury, New Zealand)

  • 14:50-15:30
    Axiom of choice and Zorn’s lemma in Dedekind 
    categories
    Yasuo Kawahara (Kyushu Univ., Japan)

  • 15:40-16:10
    A Certified Wang Tiling Program with the Coq Proof Assistant
    Toshiaki Matsushima (Kyushu Univ., Japan)

  • 16:20-16:50
    Origami System using CGA
    Mitsuhiro Kondo, Takuya Matsuo (Kyushu Univ., Japan)
  • 16:50 (Closing)

If you have any inquiry, please let me (ym @ imi.kyushu-u.ac.jp) know.

第13回 論理と計算セミナー

日時: 2015年 7月 4日 (土) 14:00〜 
場所: 福岡工業大学 情報工学部 システムマネジメント学科 演習室3 B棟8階
( http://www.fit.ac.jp/daigaku/gaiyo/koutsu )

プログラム:

  1. 14:00-15:00 河原康雄(九州大学名誉教授)
    モノイド上の CA に対する GOE 定理
  2. 15:10-15:40 森雅生(東京工業大学)
    Logic, Data Science and Institutional Research
  3. 15:40-16:10 正代隆義(九州国際大学)
    文脈決定正則形式グラフ体系の多項式時間MAT学習
  4.  16:20-16:50 松嶋聡昭(九州大学数理学研究院)
    Coq 関係計算ライブラリの開発
  5.  16:50-17:20 津曲紀宏(崇城大学)
    Algebras of Convex relations
  6. 17:20-17:50 田中義人(九州産業大学)
    Degree 1の論理式で定まるELのあるクラスの代数モデル

18:30- 懇親会 (竹乃屋千早駅前店)
http://www.umakamonya.com/shop/chihaya.html

不明な点、質問などありましたら、井口までご連絡ください。

 

第12回 論理と計算セミナー

日時: 2014年 9月 1日 (金) 午後
場所: 福岡工業大学 情報工学部 システムマネジメント学科 演習室3 B棟8階
( http://www.fit.ac.jp/daigaku/gaiyo/koutsu )

講演者:
丸山 勲(福岡工業大学情報工学部情報システム工学科)
石田 俊一(九州産業大学基礎教育センター)
田中 義人(九州産業大学経済学部)
MOHAMMAD DENI AKBAR(九州大学数理学府)
田中 久治(佐賀大学)

プログラム:

  1. 13:00-13:50 丸山 勲(福岡工業大学情報工学部情報システム工学科)
    量子エンタングルメント
    – 密度行列繰り込み群,ベーテ仮説,Z2トポロジカル不変量 –
  2. 14:00-14:50 石田 俊一(九州産業大学基礎教育センター)
    Cellular Automata Defined by Formulae on Monoids
  3. 15:10-16:00 田中 義人(九州産業大学経済学部)
    ELの代数モデル
  4. 16:10-17:00 MOHAMMAD DENI AKBAR(九州大学数理学府)
    Fuzzy Relational Database Model Using Fuzzy Relational Calculus
  5. 17:10-17:40 田中久治(佐賀大学)
    初等幾何学のCoqによる証明(Area Method on Coq)

不明な点、質問などありましたら、井口までご連絡ください。