髙野 保真（たかの やすなお）

https://orcid.org/0000-0001-9150-0411

Research Topics

キーワード:

計算的言語シミュレーション，プログラミング，プログラミング言語処理系，プログラミング環境，遅延評価

プロジェクト:

計算的言語シミュレーション

• 第二プログラミング言語習得シミュレーション
  • 操作的意味論の適応過程による第二プログラミング言語習得シミュレーション
    高野保真，野口敬未
    情報処理学会 第158回プログラミング研究会，オンライン，2026年 3月.
• LLMを指標とした第二言語（自然言語）習得シミュレーション
  • How Language Distance Modulates Extensive Reading Effects - Computational Quantification of Language Acquisition Processes Using LLMs
    Yasunao Takano, Hiromi Noguchi
    AAAL2026

SMT Solvers

• 制約充足問題における文章生成系AIの利用 : 教員割り当て問題を例として
  高野保真，野口敬未
  北里大学一般教育紀要，No. 30，pp.1-24, 2025年
• 反復的な試行にもとづく SMT ソルバ実行戦略の検討
  高野保真，千代英一郎
  情報処理学会論文誌 プログラミング, Vol.11，No.2，pp.9-19，2018年

遅延評価

• Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness
  Yasunao Takano, Hideya Iwasaki
  SAC2015
• Glasgow Haskell Compiler 上の遅延オブジェクト再利用手法の設計と実装
  高野保真, 岩崎英哉, 佐藤重幸
  コンピュータソフトウェア, Vol.32 (2015), No.2, pp.253-287， 2015年
• Glasgow Haskell Compiler における再帰的データ構造のための遅延オブジェクトの再利用
  高野保真, 岩崎英哉, 鵜川始陽
  情報処理学会論文誌 プログラミング, Vol.5, No.2, pp.67-78, 2012年
• Reducing Thunks for Recursive Data Structures in Lazy Functional Programs
  Yasunao Takano, Hideya Iwasaki, Tomoharu Ugawa
  Haskell Implementors Workshop 2011
  

プログラミング環境（Comment System）

• よりよいコメント記述のためのプログラミング環境
  独立行政法人 情報処理推進機構: 未踏ソフトウェア創造事業 未踏ユース

Improving Sequence --- 関数型言語の向けの枝刈り機構

• Improving Sequence を第一級の対象とする Scheme コンパイラ
  高野保真, 岩崎英哉
  JSSST PPL2006

関数型プログラミング言語処理系

• 研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて
  高野保真, 千代英一郎
  情報処理学会 第58回プログラミング・シンポジウム，神奈川，2017 年 1 月

その他

• Improving Document Similarity Calculation Using Cosine-Similarity Graphs
  Yasunao Takano, Yusuke Iijima, Kou Kobayashi, Hiroshi Sakuta, Hiroki Sakaji, Masaki Kohana, Akio Kobayashi
  AINA-2019, pp.512-522, Matsue Japan, March 2019
• JavaScript仮想機械記述のためのドメイン特化言語
  高野保真，鵜川始陽，岩崎英哉
  日本ソフトウェア科学会 第 21 回プログラミングおよびプログラミング言語ワークショップ論文集，岩手，2019 年 3 月
• 特定のフォーマットに依存しない文書処理系の設計と実装
  高野保真, 岩崎英哉, 河野健二
  PRO-2003-4

出版物