English


論理と学習に関するワークショップ

The Workshop on Learnable Logics and Logical Learning
(LLLL, L4)

北海道大学知識メディアラボラトリ
 2002. 1. 22−23



1月22日(火)


14:00-14:30  ご挨拶 と   Inductive Logic and Zero-points
山本章博(北海道大学工学研究科)

14:30-15:00 帰納推論と非単調論理
坂間千秋 (和歌山大学システム工学部)

15:00-15:30 Minimal Conditional Answer Computation and SOL
岩沼 宏治 (山梨大学 工学部 コンピュータ・メディア工学科)
 

15:30-16:00 休憩


16:00-16:30 論理における予測保存還元
平田耕一 (九州工業大学情報工学部)

16:30-17:00 学習の素−知識に基づく言語学習の場合
原口誠 (北海道大学工学研究科)

17:00-17:30 論理プログラム学習における理論名辞の発見
石坂裕毅 (九州工業大学情報工学部)


18:30ごろから 懇親会
 

1月23日(水)


9:30-10:00 導出原理による逆伴意のための完全なアルゴリズム
井上 克已  (神戸大学)

10:00-10:30 一階論理式の論理的帰結からの学習
有村 博紀 (九州大学システム情報科学研究院)

10:30-11:00   Inductive Inference of Positive Data --Theories and Applications--
篠原武 (九州工業大学情報工学部)


11:00-11:30 休憩


11:30 (Invited talk) Unifying Logic and Learning --Learning and Logic Unified--
 Eric Martin (School of Computer Science and Engineering, University of New South Wales, Australia)
 

12:30-13:30 昼食

 
13:30-14:00 Mathematics based on learning processes
林晋 (神戸大学工学部情報知能工学科)

14:00-14:30 学習可能演算による相対実現可能性トポス
 赤間 陽二 (東北大学大学院理学研究科数学専攻)


14:30-15:00 休憩

 
15:00-15:30 Minimum Likelihood Estimation
佐藤泰介 (東京工業大学)

15:30-16:00
佐藤健 (国立情報学研究所)


16:00 今後について