Rchr
J-GLOBAL ID：200901099935381201   Update date: Aug. 27, 2024

Kurihara Masahito

Kurihara Masahito
Affiliation and department：
None

About None


Research field  (2)： Intelligent informatics ,  Software
Research keywords  (20)： 停止性 ,  完備化 ,  二分決定グラフ ,  真偽維持システム ,  項書換え系 ,  検証 ,  ソフトウェア学 ,  定理自動証明 ,  プログラム検証 ,  機械学習 ,  代数学 ,  知識情報処理 ,  システム工学 ,  形式手法 ,  推論 ,  論理 ,  探索 ,  人工知能 ,  Automated Software Engineering ,  Formal method
Research theme for competitive and other funds  (10)：
  • 2016 - 2019 代数的ソフトウェア向き多重文脈型推論基盤システムによる帰納的定理の発見と証明
  • 2013 - 2016 Inductive theorem proving and its application with multi-context reasoning systems for algebraic software
  • 2010 - 2013 Scalable Parallel Implementation and Application of Multi-ContextReasoning Systems for Algebraic Software
  • 2007 - 2010 Development of Multi-Context Reasoning Infrastructural Systems for Algebraic Software
  • 2003 - 2005 Use of Highly Accurate GPS in Network-Based Barrier-Free Map Creation System
Show all
Papers (315)：
  • Hiroki Morise, Kyohei Atarashi, Satoshi Oyama, Masahito Kurihara. Neural collaborative filtering with multicriteria evaluation data. Applied Soft Computing. 2022. 119. 108548-108548
  • Yu Sugawara, Satoshi Oyama, Masahito Kurihara. Adaptive Rotation Forests: Decision Tree Ensembles for Sequential Learning. 2021 IEEE International Conference on Systems, Man, and Cybernetics(SMC). 2021. 613-618
  • Kyohei Atarashi, Satoshi Oyama, Masahito Kurihara. Sparse random feature maps for the item-multiset kernel. Neural Networks. 2021. 143. 500-514
  • Kyohei Atarashi, Satoshi Oyama, Masahito Kurihara. Factorization Machines with Regularization for Sparse Feature Interactions. Journal of Machine Learning Research. 2021. 22. 153-50
  • Takafumi Suzuki, Satoshi Oyama, Masahito Kurihara. A Framework for Recommendation Algorithms Using Knowledge Graph and Random Walk Methods. Proceedings - 2020 IEEE International Conference on Big Data, Big Data 2020. 2020. 3085-3087
ｍore...
MISC (88)：
  • Watabe Hiroki, Sato Haruhiko, Oyama Satoshi, Kurihara Masahito. J-032 Software Keyboard using Flick Input based on the Characteristics of One-handed Thumb Operation. 2015. 14. 3. 379-380
  • 高松 宏樹, 佐藤 晴彦, 小山 聡, 栗原 正仁. 動的記号実行によるメソッドの複雑度を考慮したテストケース自動生成 (知能ソフトウェア工学). 電子情報通信学会技術研究報告 = IEICE technical report : 信学技報. 2014. 114. 128. 169-175
  • Suzuki Masahiro, Sato Haruhiko, Oyama Satoshi, Kurihara Masahito. F-039 Attribute-based Transfer Learning Based on the Predictive Ability of Each Attribute. 2013. 12. 2. 371-372
  • 山本康貴, 佐藤晴彦, 小山聡, 栗原正仁. リスト型質問応答のための回答候補間共起情報を利用したスコアリング改善手法の提案. 第75回全国大会講演論文集. 2013. 2013. 1. 181-182
  • 段磊, 小山聡, 栗原正仁, 佐藤晴彦. 物語文における心情推定の研究. 第75回全国大会講演論文集. 2013. 2013. 1. 319-320
ｍore...
Books (6)：
  • わかりやすい数値計算入門[第2版]
    ムイスリ出版 2011 ISBN:4896411943
  • 対話によるCommon Lisp入門 [POD版]
    森北出版 2008 ISBN:4627836090
  • TA実践ガイドブック
    玉川大学出版部 2006
  • 情報学入門-大学で学ぶ情報科学・情報活用・情報社会
    コロナ社 2006 ISBN:4339024163
  • わかりやすい数値計算入門
    ムイスリ出版 2004 ISBN:4896410947
ｍore...
Lectures and oral presentations  (171)：
  • Lazy Evaluation Schemes for Efficient Implementation of Multi-Context Algebraic Reasoning Systems
    (情報処理学会全国大会講演論文集 2016)
  • 片手親指特性に基づくフリック入力手法を用いたソフトウェアキーボード
    (情報科学技術フォーラム講演論文集 2015)
  • J-032 Software Keyboard using Flick Input based on the Characteristics of One-handed Thumb Operation
    (情報科学技術フォーラム講演論文集 2015)
  • 進化言語学の手法による人工生命における語彙の発生
    (情報処理北海道シンポジウム講演論文集 2014)
  • レビュー文の閲覧補助を目的としたネタバレ・意見文の分類
    (情報処理北海道シンポジウム講演論文集 2014)
ｍore...
Professional career (1)：
  • 工学博士 (北海道大学)
Work history (3)：
  • 2019/04 - 2021/03 Hokkaido University
  • 2007/04 - 2019/03 Hokkaido University
  • 2010/04 - 2014/03 Hokkaido University Graduate School of Information Science and Technology
Committee career (5)：
  • 2010 - 情報処理学会 情報処理北海道シンポジウム実行委員長
  • 2007 - 2008 日本知能情報ファジィ学会 北海道支部長
  • 2003 - 2004 情報処理学会 北海道支部評議員
  • 2004 - 電子情報通信学会 論文誌フォーマルアプローチ特集号編集委員
  • 2002 - 電子情報通信学会 常任査読委員
Awards (5)：
  • 2015/08 - Journal of Advanced Computational Intelligence and Intelligent Informatics Best Paper Award 2015
  • 2012/05 - International Association of Engineers Best Paper Award of The 2012 IAENG International Conference on Software Engineering
  • 2011 - Institute of Electirical, Information and Electronics Japan IEICE Best Paper Award 2010
  • 2010 - 情報処理学会北海道支部技術研究賞
  • 1990 - Information Processing Society Japan Best Paper Award Commemorating 30 years from Establishment of Information Processing Society Japan
※ Researcher’s information displayed in J-GLOBAL is based on the information registered in researchmap. For details, see here.

Return to Previous Page

TOP

BOTTOM