Toyota Technological Institute · Unclassified · 教授

Research keywordsprogram synthesis・linear logic・rongorongo analysis・programming contest education・Standard ML education・induction inference・undeciphered language analysis・formal reasoning

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 未解読言語の解析技術2016 · 人工知能学会誌 31 ( 6 ) 775 - 779 2016年11月
• Comparison between Rongorongo and the syllable sequence of ancient chants from the Easter Island2013 · Reseach in Computing Science 70 9 - 18 2013年11月
• ロンゴロンゴとイースター島の古謡のシラブル列との統語論的対応付け2012 · 情報考古学 18 ( 1,2 ) 25 - 37 2012年12月 （ ISSN: 1342-4084 ）
• 線形論理上の帰納推論2001 · 慶應義塾大学 2001年6月

• 人工知能技術2023 · 2023年6月 - 現在 機関名： 長崎県立大学
• コンパイラ2023 · 2023年4月 - 2024年8月 機関名： 長崎県立大学
• 計算機科学特論2023 · 2023年12月 - 2025年2月 機関名： 長崎県立大学
• ロンゴロンゴ記号列からのノンパラメトリックな情報抽出2012 · 課題番号： 24500313 基盤研究(C) 2012年度 ～ 2014年度

• Official profile