論文誌(査読付)

  1. 渡部 孝幸, 宮崎 佳典, "正規表現を用いた数式検索手法の提案," 情報処理学会論文誌, 情報処理学会, vol.56, no.5, pp.1417-1427, 2015.
  2. 渡部 孝幸, 宮崎 佳典, "二次元の位置構造に着目した数式のパターンマッチング手法," 情報知識学会誌, 情報知識学会, vol.22, no.3, pp.253-271, 2012.
  3. 渡部 孝幸, 宮崎 佳典, "数式の意味情報を活用した数学教育に向けて－Content Markupのe-Learningへの適用－," 日本e-Learning学会誌, 日本e-Learning学会, vol.12, pp.39-47, 2012.

論文誌(査読無)

  1. 渡部 孝幸, 田中 省作, 宮崎 佳典, "英文汎化における語の品詞化と構文木の非冗長化," 2016.
  2. 渡部 孝幸, 田中 省作, 宮崎 佳典, "構文構造と共起性を考慮した英文汎化手法," 統計数理研究所共同研究リポート 338 ESPコーパスの分析による特徴語彙・表現の抽出と教育への応用, 統計数理研究所, pp.59-66, 2015.
  3. 渡部 孝幸, 宮崎 佳典, 林 佳樹, "導出規則に着目した証明視覚化・式変形支援システムの提案," 数理解析研究所講究録 1865 数学ソフトウェアと教育―数学ソフトウェアの効果的利用に関する研究―, 京都大学数理解析研究所, pp.137-145, 2013.

国際会議(査読付)

  1. Takayuki Watabe, Yoshinori Miyazaki, "Framework for Sense Disambiguation of Mathematical Expressions," 14th International Conference on Global Research and Education INTER-ACADEMIA 2015, Congress Center in Hamamatsu ACT CITY, Shizuoka, Japan, 2015.9.
    (published in 2015.)
  2. Takayuki Watabe, Yoshinori Miyazaki, "Graphical User Interface for Search of Mathematical Expressions with Regular Expressions," The 17th International Conference on Human-Computer Interaction, The Westin Bonaventure Hotel, Los Angeles, CA, USA, 2015.8.
    (published in Human-Computer Interaction: Design and Evaluation, Springer International Publishing, vol.9169, pp.438-447, 2015.)
  3. Takayuki Watabe, Yoshinori Miyazaki, "Diagramming Mathematical Proofs Based on Logical Structures for Learners," The 16th International Conference on Human-Computer Interaction, Creta Maris, Heraklion, Greece, 2014.6.
    (published in HCI International 2014 - Posters’ Extended Abstracts, Springer, pp.183-188, 2014.)
  4. Takayuki Watabe, Yoshinori Miyazaki, "A Method for Representing Mathematical Expressions as Words in Natural Language," 7th International KES Conference on Intelligent Interactive Multimedia Systems and Services, Akali Hotel, Chania, Greece, 2014.6.
    (published in Frontiers in Artificial Intelligence and Applications, IOS Press, vol.262, pp.335-344, 2014.)
  5. Takayuki Watabe, Yoshinori Miyazaki, Shosaku Tanaka, "Design of a Mathematical Expression Corpus for Word Sense Disambiguation," First IIAI International Conference on Advanced Information Technologies 2013, HOTEL ARYADUTA JAKARTA, Jakarta, Indonesia, 2013.11.
    (published in Proceedings of First IIAI International Conference on Advanced Information Technologies 2013, International Institute of Applied Informatics, p.(P8.pdf), 2013.)
  6. Takayuki Watabe, Yoshinori Miyazaki, Yoshiki Hayashi, "Application to Help Learn the Process of Transforming Mathematical Expressions with a Focus on Study Logs," The 15th International Conference on Human-Computer Interaction (HCI International 2013), Mirage Hotel, Las Vegas, Nevada, USA, 2013.7.
    (published in Human Interface and the Management of Information. Information and Interaction for Learning, Culture, Collaboration and Business, Springer Berlin Heidelberg, pp.157-164, 2013.)
  7. Takayuki Watabe, Yoshinori Miyazaki, "System for Peer Review by Relative Evaluation in Group Learning," The Sixth International Conference on Collaboration Technologies (CollabTech 2012), Hokkaido University, Hokkaido, Japan, 2012.8.
    (published in The Sixth International Conference on Collaboration Technologies: Conference Proceedings, Information Processing Society of Japan, pp.119-122, 2012.)
  8. Takayuki Watabe, Yoshinori Miyazaki, "Visualization of Logical Structure in Mathematical Proofs for Learners," 11th IEEE/ACIS International Conference on Computer and Information Science (ICIS 2012), Pine City Hotel, Shanghai, China, 2012.5.
    (published in Computer and Information Science 2012, Springer Berlin Heidelberg, pp.197-208, 2012. (published by Springer instead of IEEE because this paper is selected as the best 15 papers from papers accepted at the 11th IEEE/ACIS International Conference on Computer and Information Science.))
  9. Takayuki Watabe, Yoshinori Miyazaki, "Framework of a System for Extracting Mathematical Concepts from Content MathML-Based Mathematical Expressions," 5th International Conference on Intelligent Interactive Multimedia Systems and Services, Nagaragawa Convention Center, Gifu, Japan, 2012.5.
    (published in Intelligent Interactive Multimedia: Systems and Services, Springer Berlin Heidelberg, pp.269-278, 2012.)

国際会議(査読無)

  1. Takayuki Watabe, Yoshinori Miyazaki, "Evaluation of a Graphical User Interface for Retrieval of Mathematical Expressions," 2016 International Symposium toward the Future of Advanced Researches in Shizuoka University, Sanaru Hall, Hamamatsu Campus, Shizuoka University, Shizuoka, Japan, 2016.3.
    (published in 2016.)

国内会議(査読無)

  1. 森田 雄介, 宮崎 佳典, 渡部 孝幸, "数学教育における証明学習のための論理構造提示Webアプリケーション," 情報処理学会第78回全国大会, 慶應義塾大学 矢上キャンパス, 神奈川, 2016.3.
    (published in 2016.)
  2. 天野 翼, 渡部 孝幸, 田中 省作, 宮崎 佳典, "共起関係ならびに構文情報を考慮した英文汎化と英作文支援," 2015年度JSiSE学生研究発表会, 名城大学, 愛知, 2016.2.
    (published in 2016.)
  3. 森田 雄介, 宮崎 佳典, 渡部 孝幸, "数学教育における証明学習のための論理構造提示アプリケーション," 第18回日本e-Learning学会学術講演会, 静岡大学 浜松キャンパス, 静岡, 2015.10.
    (published in 2015.)
  4. 天野 翼, 渡部 孝幸, 田中 省作, 宮崎 佳典, "構文情報を考慮した検索英文集合に対する汎化手法," 第14回情報科学技術フォーラム(FIT 2015), 愛媛大学 城北キャンパス, 愛媛, 2015.9.
    (published in 2015.)
  5. 渡部 孝幸, 宮崎 佳典, "正規表現を用いた数式の検索のためのGUI," RIMS研究集会 数学ソフトウェアとその効果的教育利用に関する研究, 京都大学数理解析研究所, 京都, 2015.9.
    (published in 2015.)
  6. 渡部 孝幸, 田中 省作, 宮崎 佳典, "構文構造と共起性を考慮した英文汎化手法," 統計数理研究所言語系共同研究グループ合同発表会 言語研究と統計2015, 統計数理研究所, 東京, 2015.3.
    (published in 2015.)
  7. 青木 杏奈, 渡部 孝幸, 宮崎 佳典, "数学教育における証明学習のための図示化を用いた学習支援ツール," 情報処理学会 第77回全国大会, 京都大学, 京都, 2015.3.
    (published in 情報処理学会第77回全国大会講演論文集, 情報処理学会, no.??, p.??, 2015.)
  8. 林 佳樹, 渡部 孝幸, 宮崎 佳典, "学習者の能動的な数式変形を促すWebアプリケーションの開発," 第11回 情報学ワークショップ (WiNF 2013), 愛知工業大学, 愛知, 2013.12.
    (published in 情報学ワークショップ (WiNF 2013) 論文集, 第11回 情報学ワークショップ (WiNF 2013) 実行委員会, pp.118-121, 2013.)
  9. 渡部 孝幸, 宮崎 佳典, "アプリケーション開発における要素技術としての利用に着目した数式検索手法の提案," 第12回情報科学技術フォーラム(FIT2013), 鳥取大学, 鳥取, 2013.9.
    (published in 第12回情報科学技術フォーラム講演論文集, no.2, pp.137-144, 2013.)
  10. 井上 雄介, 宮崎 佳典, 渡部 孝幸, "AHPとPageRankアルゴリズムを用いたCSCL相互評価モジュールの開発," 情報処理学会 第75回全国大会, 東北大学, 宮城, 2013.3.
    (published in 情報処理学会第75回全国大会講演論文集, 情報処理学会, no.4, pp.629-630, 2013.)
  11. 渡部 孝幸, 宮崎 佳典, "数式の表記と意味の違いに着目した数式検索手法の提案および実装," 情報処理学会 第75回全国大会, 東北大学, 宮城, 2013.3. (学生奨励賞受賞)
    (published in 情報処理学会第75回全国大会講演論文集, 情報処理学会, no.1, pp.575-576, 2013.)
  12. 林 佳樹, 宮崎 佳典, 渡部 孝幸, "MathMLベースの数式を対象とした数式変形援用システムの開発," 日本e-Learning学会 2012年度学術講演会, 大手前大学, 兵庫, 2012.11.
    (published in 日本e-Learning学会 2012年度学術講演会発表論文集, 日本e-Learning学会, pp.119-126, 2012.)
  13. 宮崎 佳典, 渡部 孝幸, 林 佳樹, "導出規則に着目した証明視覚化・式変形支援システムの提案," RIMS研究集会「数学ソフトウェアと教育-数学ソフトウェアの効果的利用に関する研究-」, 京都大学, 京都, 2012.8.
    (published in 2012.)
  14. 渡部 孝幸, 宮崎 佳典, "学習を目的とした数学的証明の視覚化手法について," 2011年度教育システム情報学会学生研究発表会(東海地区), 名城大学, 愛知, 2012.3.
    (published in 2012年春JSiSE学生研究発表会予稿集, 教育システム情報学会, pp.88-89, 2012.)
  15. 渡部 孝幸, 宮崎 佳典, "数式の意味情報を活用した数学教育に向けて－content MathML の e-Learning への適用－," 日本e-Learning学会 2011年度学術講演会, 産業技術大学院大学, 東京, 2011.12. (奨励賞受賞)
    (published in 日本e-Learning学会 2011年度学術講演会発表論文集, 日本e-Learning学会, pp.13-20, 2011.)
  16. 渡部 孝幸, 宮崎 佳典, "ゆらぎを持つPresentation MathMLの正規形および正規化手法の提案," WiNF2011 第9回情報学ワークショップ, 豊橋技術科学大学, 愛知, 2011.11.
    (published in 情報学ワークショップ2011 (WiNF2011) 論文集, 第9回情報学ワークショップ (WiNF2011) 実行委員会, pp.141-144, 2011.)
  17. 渡部 孝幸, 宮崎 佳典, "QR法におけるデフレーションの閾値設定と精度に関する調査," 平成23年度電気関係学会東海支部連合大会, 三重大学, 三重, 2011.9. (連合大会奨励賞受賞)
    (published in 平成23年度電気関係学会東海支部連合大会予稿集, pp.I2-8, 2011.)

競争的資金

  1. 公益財団法人日本科学協会, 笹川科学研究助成, 平成25年度, 研究番号25-136, "言語学に立脚した数式の意味論の構築".

その他

  1. 【学内説明会】
    渡部 孝幸, "先輩からのアドバイス," 日本学術振興会特別研究員申請に向けた説明会, 静岡大学, 静岡, 2015.3.19. (口頭発表)
    (published in 日本学術振興会特別研究員申請に向けた説明会 プログラム, pp.11-17, 2015.)
  2. 【研究室間交流会】
    渡部 孝幸, "コンピュータで文字を処理する ―英文の品詞化と数式の検索―," 言語・情報研究会2014, 立命館大学, 京都, 2014.12.20. (口頭発表)
  3. 【研究紹介】
    渡部 孝幸, "パターンマッチングに基づく数式検索システム," 博士人財キャリア創造プログラム 地域中小企業の人材確保・定着支援事業 マッチングフェア, 第2部, グランドホテル浜松, 静岡, 2014.11.1. (口頭発表，ポスター発表)
  4. 【研究紹介】
    渡部 孝幸, "数式データの活用に向けて ―自然言語処理の手法を用いた数式データの分析―," 博士人財キャリア創造プログラム 地域中小企業の人材確保・定着支援事業 マッチングフェア, 第2部, 第3部, グランドホテル浜松, 静岡, 2013.11.19. (口頭発表，ポスター発表)
    (published in 博士人財キャリア創造プログラム 地域中小企業の人材確保・定着支援事業 マッチングフェア プログラム, pp.8-10, 2013.)
  5. 【校正お手伝い】
    宮崎 佳典, 新谷 誠, 中谷 広正, "理工系のための離散数学", 東京図書, 2013.
  6. 【研究協力】
    吉森 修, (研究協力: 渡部 孝幸, 加藤 俊), "gLoove－指の動きをセンシングする手袋型エフェクター－", カオス2012 神戸芸術工科大学卒展, 2012.2. (奨励賞受賞)

予定