松崎拓也

マツザキタクヤ | MATSUZAKI Takuya

所属機関・部署：
職名：教授

研究分野 (1件)：知能情報学

研究キーワード (5件)：自然言語処理 , 言語理解 , テキストマイニング , 文脈処理 , 意味処理

競争的資金等の研究課題 (9件)：

全件表示

論文 (149件)：

服部清志, 松崎拓也, 藤原誠. Autoformalization に向けた自然言語証明構造の形式化. 言語処理学会第30回年次大会発表論文集. 2024
高昕, 小坂想太朗, 佐山龍之介, 松崎拓也. 新聞記事からの都々逸生成のための訓練データの作成手法と生成アルゴリズムの改良. 言語処理学会第30回年次大会発表論文集. 2024
太田宇宙, 松崎拓也, 藤原誠. 数学証明における帰結関係を表す接続表現の予測. 言語処理学会第30回年次大会発表論文集. 2024
関歩実, 滕昱璇, 野坂瞭太, 大井淳司, 松崎拓也. 視写課題の自動採点へ向けた子供らしい文字の自動生成によるOCR 精度の向上. 言語処理学会第30回年次大会発表論文集. 2024
丸田佳, 松崎拓也. 自己注意機構のアテンション重みが特定の種類のトークンに集中する現象と外れ値次元の関係. 言語処理学会第30回年次大会発表論文集. 2024

MISC (17件)：

松崎拓也, 岩根秀直. 深い言語処理と高速な数式処理の接合による数学問題の自動解答. 情報処理学会誌. 2017. 58. 7
和田優未, 松崎拓也, 照井章, 新井紀子. 大学入試における数列の問題を解くための自動推論とその実装について (2015年度合同分科会報告). 数式処理 = Bulletin of the Japan Society for Symbolic and Algebraic Computation. 2017. 23. 2. 13-27
和田優未, 松崎拓也, 照井章, 新井紀子. 大学入試における数列の問題を解くための自動推論とその実装について. 京都大学数理解析研究所講究録. 2017. 2022. 100-111
岩根秀直, 松崎拓也, 穴井宏和, 新井紀子. ロボットは東大に入れるか 2016 - 理系チームの模試結果について -. RIMS研究集会「数式処理とその周辺分野の研究 - Computer Algebra and Related Topics」. 2016
外川拓真, 横山和弘, 岩根秀直, 松崎拓也. QEのための積分式の簡約化. RIMS研究集会「数式処理とその周辺分野の研究 - Computer Algebra and Related Topics」. 2016

書籍 (3件)：

講演・口頭発表等 (14件)：

Machine comprehension of math problem text
(3rd Conference on Artificial Intelligence and Theorem Proving, Aussois, France 2018)
計算機が大学入試数学問題を解く
(日本数学会2018年度年会 2018)
自然言語で書かれた数学問題を計算機で解く
(言語処理学会第24回年次大会チュートリアル 2018)
数学における自然言語解析
(日本科学哲学会シンポジウム「人工知能の哲学:知能の理解と実現に挑む工学と哲学の対話」 2016)
Solving Natural Language Math Problems
(1st Conference on Artificial Intelligence and Theorem Proving, Obergurgl, Austria 2016)

学位 (1件)：

経歴 (7件)：

全件表示

委員歴 (5件)：

受賞 (3件)：

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

松崎 拓也