Rchr
J-GLOBAL ID：201101045183429540
Update date: Oct. 24, 2024
MATSUZAKI Takuya
マツザキ タクヤ | MATSUZAKI Takuya
Affiliation and department：
Job title：
Associate Professor
Research field (1)：
Intelligent informatics
Research keywords (5)：
自然言語処理
, 言語理解
, テキストマイニング
, 文脈処理
, 意味処理
Research theme for competitive and other funds (9)：
- 2021 - 2026 21世紀に求められるリテラシーの標準テストの研究と開発
- 2017 - 2021 読解に困難を抱える生徒を支援するための言語処理に基づくテキスト表示技術
- 2016 - 2021 Development of Reading Skill Test to Diagnose Learners' Basic Language Skills and Cognitive Traits
- 2017 - 2018 デジタル・アシスタントへの自然言語による入力の解釈結果をユーザがすばやく正確に確認するための情報提示技術に関する研究
- 2015 - 2018 日本語意味解析のための意味辞書および機能語用例データベースの開発
- 2012 - 2014 machine translation through program synthesis and decomposition
- 2011 - 2012 Deep feature acquisition for fast and accurate natural language processors
- 2009 - 2011 Accurate Natural Language Processing with Huge Semi-structured Textbases
- 2006 - 2010 Research on Advanced Natural Language Processing and Text Mining
Show all
Papers (151)：
-
齊藤新, 松崎拓也. 音声認識結果と誤読候補リストを用いた読み間違い検出. 人工知能学会全国大会(第38回)予稿集. 2024
-
竹下 隼司, 松崎 拓也. 朗読音声合成におけるポーズ長分布の多様性を吸収するための標準化の効果. 人工知能学会全国大会(第38回)予稿集. 2024
-
服部清志, 松崎拓也, 藤原誠. Autoformalization に向けた自然言語証明構造の形式化. 言語処理学会 第30回年次大会 発表論文集. 2024
-
高昕, 小坂想太朗, 佐山龍之介, 松崎拓也. 新聞記事からの都々逸生成のための訓練データの作成手法と生成アルゴリズムの改良. 言語処理学会 第30回年次大会 発表論文集. 2024
-
太田 宇宙, 松崎拓也, 藤原 誠. 数学証明における帰結関係を表す接続表現の予測. 言語処理学会 第30回年次大会 発表論文集. 2024
ｍore...
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
ｍore...
Books (3)：
-
“Can a Robot Get into the University of Tokyo?”: The Achievements and Limitations of Third Wave of AI
University of Tokyo Press 2018
-
数理言語学事典
産業図書 2013
-
言語処理学事典
共立出版 2009
Lectures and oral presentations (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)
ｍore...
Professional career (1)：
- PhD (University of Tokyo)
Work history (7)：
- 2020/04 - 現在 Tokyo University of Science Department of Applied Mathematics, Faculty of Science Division 1 Professor
- 2019/04 - 2020/03 Tokyo University of Science Department of Applied Mathematics Associate Professor
- 2014/10 - 2019/03 Nagoya University Graduate School of Engineering Associate Professor
- 2012/04 - 2014/09 Research Center for Community Knowledge, National Institute of Informatics Associate Research Professor
- 2014/07 - University of Information Technology (Vietnam) Visiting Professor
- 2007/07 - 2012/03 東京大学 大学院・情報理工学系研究科 助教
- 2011/08 - 2011/09 Microsoft Research Asia (北京) Visiting Researcher
Show all
Committee career (5)：
- 2015/09 - 2019/09 言語処理学会 編集委員
- 2015/04 - 2019/03 情報処理学会 自然言語処理研究会 運営委員
- 2019 - 言語処理学会 第25回年次大会 実行委員
- 2017 - Machine Translation Summit XVI Local Organizing Committee
- 2010 - 言語処理学会 第16回年次大会 実行委員
Awards (3)：
- 2024/03 - 言語処理学会 言語処理学会第30回年次大会 優秀賞 Autoformalization に向けた自然言語証明構造の形式化
- 2023/03 - 言語処理学会 言語処理学会第29回年次大会 優秀賞 自己注意機構における注意の集中が相対位置に依存する仕組み
- 2017/03 - 言語処理学会 言語処理学会論文賞 「ロボットは東大に入れるか」プロジェクト: 代ゼミセンター模試タスクにおけるエラーの分析
Return to Previous Page
