みなさん、こんにちは。 2025年4月に開設した九州大学大学院人文情報連係学府では、定期的にQUDH勉強会を開催しています。人文情報学に関わる研究に関心のある方は、ぜひご参加ください。 

日時：11/18 (水) 13:00–14:30
発表者：水谷亮介
タイトル：証明支援系と義務論理を用いた倫理の形式化とその課題
場所：E-1-A224人文情報学研究室 （ハイブリッド開催）

参加ご希望の方は人文情報学研究室（digital.h.qu *at* gmail.com） までご連絡ください。