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

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

なお今年は新型コロナウイルス感染症への対策として、ハイフレックス形式で開催することといたします。

日時：2022年8月29日, 30日
場所：福岡工業大学 FITセミナーハウス（大分県由布市湯布院町）＋オンライン（Zoom）
http://www.fit.ac.jp/shisetsu/kagai/seminar/index
参加費：一般7,000円，学生3,000円（オンライン参加の学生は無料）
参加申し込み締切：8月9日
（宿泊人数に制限があるため，締切日前に申し込みを締め切る場合があります．）
参加される学生には，15分程度の講演をお願いします．

参加を希望される方は石田＠九産大までご連絡ください。

プログラム：
8月29日
　13:30 — 14:45 LCSS 1
　15:00 — 16:15 LCSS 2
　16:30 — 18:00 LCSS 3
　20:00 — 自由討論

8月30日
　9:30 — 11:00 LCSS 4

8月29日	LCSS　1　　　　座長　　(九州産業大学)
13:30	（オンライン）	九州産業大学	臼井　優也	上下の眼球運動に対応した学習監視システム
13:45	（オンライン）	近畿大学	藤川博史	バスケットボールにおける選手と大学の形式概念解析
14:00	（オンライン）	九州産業大学	宮路　莞太	Moodleを利用した小テスト作成における補助システムについて
14:15	（オンライン）	近畿大学	小島優樹	神社仏閣とご利益による形式概念解析
14:30	（オンライン）	九州産業大学	桁山　拓巳	遠隔におけるコミュニケーションワーク実施方法と効果について

	LCSS　2　　　　座長　（福岡工業大学）
15:00		福岡工業大学	廣中沙也佳	自動採点システムの作成
15:15		福岡工業大学	簑原海斗	ふるさと納税に関する形式概念解析に向けて
15:30	（オンライン）	九州産業大学	兒玉　新	数理論理を用いたセルオートマトンの可逆性及び逆遷移関数の解析
15:45	（オンライン）	近畿大学	神山崇	形式概念解析を用いた少子化とその対策
16:00	（オンライン）	九州産業大学	田中　祐太	セルオートマトンを用いた避難流動シミュレータについて

	LCSS 3　　　座長　（近畿大学）
16:30		福岡工業大学	細川拓海	避難訓練の有効性について
16:45		近畿大学	下段晴佳	ファジィクラスタリングの可視化
17:00		福岡工業大学	大坪健悟	Artisocでの高速道路でのサグ部による自然渋滞シミュレーション
17:15	（キャンセル）	近畿大学	山口歩夢	形式概念解析による最適なファッションと色合い
17:30		福岡工業大学	岡広人	蜂の蜜源情報伝達のシミュレーションについて
17:45		福岡工業大学	米倉鈴音	セルオートマトンを用いたクラドニ図形の作成について

8月30日	LCSS　4　　　　座長　（福岡工業大学）
9:00	（オンライン）	九州産業大学	斉藤　丈弥	セルオートマトンを用いた ブロック暗号による暗号化と復号について
9:15	（オンライン）	大分大学	大城尚也	在庫管理の効率化に向けてのWebサイト制作
9:30	（オンライン）	九州産業大学	波多江　京奈	セルオートマトンを用いた交通流シミュレータの改良及び解析について
9:45	（オンライン）	大分大学	満原芳穂	ARを利用した空間図形の補助教材
10:00	（キャンセル）	九州産業大学	田平　健太郎	cycleに注目したセルオートマトンにおける設定と特徴の関係性について
10:15		福岡工業大学	森崎達也	9マス将棋の解析
10:30		福岡工業大学	石灘 洸樹	グラフ畳み込みネットワークと質問学習アルゴリズムを用いた項木パターン言語の無矛盾性問題の解法について