カテゴリー別アーカイブ: セミナー案内

第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 )

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

論理と計算サマースクール(LCSS)では、論理と計算セミナーと同様に,計算理論、関係理論、セルオートマトン、グラフ理論など、論理と計算に関する話題のほか、分野や話題を限定することなく、様々な分野の研究者との交流を行います.専門分野を限ることなく、幅広い分野の研究者が意見交換を行うことで、研究活動を活性化する機会を提供します。特に,学部生・修士生を中心とする超若手研究者に,研究発表,研究者との議論を通して,研究への意欲向上,研究の質向上を図り,未来の研究者育成をも目的の一つとしています.

日時:9月3日13:00~4日12:00の1泊2日
場所:福岡工業大学 FITセミナーハウス(大分県由布市湯布院町)
http://www.fit.ac.jp/shisetsu/kagai/seminar/index
参加費:一般10,000円,学生5,000円
参加申し込み締切:8月10日
(宿泊人数に制限があるため,締切日前に申し込みを締め切る場合があります.)
参加される学生には,10分程度の講演をお願いします.

プログラム:
9月3日
13:00 — 14:15 LCSS 1
14:30 — 16:00 LCSS 2
16:30 — 18:00 第16回 論理と計算セミナー
20:00 — 22:00 自由討論
9月4日
9:00 — 11:00 LCSS 3

講演:
LCSS 1 : (座長:九産大)

  1. 杉本実奈美(福工大シスマネ):地震シミュレーションへ向けた砂山モデルの改良
  2. 井町 信ノ輔(九産大情報科学):性格特性を考慮したグループワークへのICT活用と効果の関係性について
  3. 竹繁花音(大分大教育福祉科学部):貯金支援アプリ 貯金でつくるアクアリウム
  4. 山崎 大源(九産大情報科学):睡眠とスマートフォンの利用状況における関係性の解析と可視化について
  5. 浅野佑弥(九大数理):Laplacian Eigenfunctionsを用いた流体シミュレーションの実装

LCSS 2 : (座長:大分大)

  1. 首藤真也(大分大教育福祉科学部):野球スコア集計Webサイトの開発
  2. 森下茄穂(福工大シスマネ):雪の結晶CAにおけるルールが与える影響について
  3. 坂口 涼平(九産大情報科学):理系学生の授業外学習のICTを使った支援システム及び利用法に関する考察
  4. 松藤ちひろ(九大数理):3次元モデルの変形補間について
  5. 綾部百合子(福工大シスマネ):2x2x2ルービックキューブの解析について
  6. 佐々野 俊太郎(九産大情報科学):コミュニケーション向上に向けた取り組みへのICT活用支援と効果の可視化について

LCSS 3 : (座長:福工大)

  1. 月原大貴&山田凌(福工大シスマネ):一斉射撃問題の量子化に向けて
  2. 後藤大輝(大分大教育福祉科学部):高齢者の低栄養改善アプリの開発
  3. 中島康晴(福工大シスマネ):コンビニエンスストアにおけるPOP広告の有効性
  4. 井上 拓哉(九産大情報科学):CAを用いた暗号化システムの構築に関する研究
  5. 平野仁蒔穂(大分大教育福祉科学部):声で予定を知らせる録音機能付きアラームアプリの開発
  6. 衛藤優汰(福工大シスマネ):3次元迷路の作成について

不明な点等ございましたら,井口までご連絡ください.
よろしくお願い致します.

———————————————————————————

4日未明から台風が接近するとのことで,2日目の開催が危ぶまれましたが,大きな影響もなく,無事終了しました.ありがとうございました.

加工後集合写真

加工後講演中

 

実行委員会:
井口修一(福工大.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)

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