blog.kikagaku.co.jp
m.youtube.com
ls-japan.org
京都大学大学院（博士課程） / 人間・環境学研究科 数理・情報科学講座
Focus Representation and Backward Underspecification in Dependent Type Semantics
LENLS20 https://lenls.github.io/lenls20/
船蔵 颯
株式会社キカガク / 機械学習講師・DXコンサルタント
400万人が利用する会社訪問アプリ
船蔵 颯
株式会社キカガク / 機械学習講師・DXコンサルタント
株式会社キカガク2年間
機械学習講師・DXコンサルタント現在
- 現在
・各種教材の制作、品質維持 ・実データを用いた業務課題の解決 ・最新技術のキャッチアップ
京都大学大学院（博士課程）1年間
人間・環境学研究科 数理・情報科学講座現在
- 現在
機械学習および形式手法による自然言語処理・計算言語学
慶應義塾グローバル・リサーチ・インスティテュート2年間
非常勤研究員現在
- 現在
京都大学大学院（修士課程）3年間
人間・環境学研究科 数理情報論講座
-
大阪大学文学部4年間
哲学・思想文化学専修
-
鹿児島県立川内高等学校3年間
普通科
-