fuminashit (Twitter) - ユーザ詳細

⊥/fuminashi (@fuminashit)

投稿
お気に入り
フォロー
フォロワー

投稿一覧（最新100件）

1 0 0 0 様相・否定・条件表現の言語学的分析に基づく確実性アノテーションスキーマの設計

先行研究、これとか？ http://t.co/OcdhWvuXEd

お気に入り一覧（最新100件）

426 0 0 0 OA プログラミング教育の最前線:2.プログラミングの大衆化が始まった

今一つ前提が伝わってないようなので、前のページも放流しておくかちなみに「小学校の田植え」のメタファーは原田先生 (@haradayasunori )の情報処理学会の学会誌から引用させてもらっています https://t.co/Ki0TpeEQCl https://t.co/vahccGxoZe

22 0 0 0 OA 意味論の証明論的転回

依存型意味論(DTS)についての日本語での解説は、人工知能学会でお話させて頂いた以下の論文（4ページ）がお勧めです。「意味論の証明論的転回」(戸次ら2017） https://t.co/uH0vRJWG0S 依存型理論からDTSに至る経緯と関連論文、および2017年6月までのDTSによる意味論研究についてまとめてあります。