高野保真

タカノヤスナオ | TAKANO YASUNAO

所属機関・部署：
職名：講師
ホームページURL (2件)： http://www.clas.kitasato-u.ac.jp/~takano/ , http://www.clas.kitasato-u.ac.jp/~takano/index_en.html

研究分野 (1件)：ソフトウェア

研究キーワード (2件)：ソフトウェア , プログラミング言語

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

論文 (13件)：

Hiroki Sakaji, Akio Kobayashi, Masaki Kohana, Yasunao Takano, Kiyoshi Izumi. Card Price Prediction of Trading Cards Using Machine Learning Methods. ADVANCES IN NETWORKED-BASED INFORMATION SYSTEMS, NBIS-2019. 2020. 1036. 705-714
Yasunao Takano, Yusuke Iijima, Kou Kobayashi, Hiroshi Sakuta, Hiroki Sakaji, Masaki Kohana, Akio Kobayashi. Improving Document Similarity Calculation Using Cosine-Similarity Graphs. The 33rd International Conference on Advanced Information Networking and Applications (AINA-2020). 2019. 512-522
Hiroki Sakaji, Akio Kobayashi, Masaki Kohana, Yasunao Takano, Kiyoshi Izumi. Card Price Prediction of Trading Cards Using Machine Learning Methods. Advances in Networked-based Information Systems - The 22nd International Conference on Network-Based Information Systems(NBiS). 2019. 705-714
Hiroki Sakaji, Akio Kobayashi, Masaki Kohana, Yasunao Takano, Kiyoshi Izumi. Estimation of Tags Using Various Data for Online Videos. Advanced Information Networking and Applications - Proceedings of the 33rd International Conference on Advanced Information Networking and Applications(AINA). 2019. 301-312
高野保真, 千代英一郎. 反復的な試行にもとづくSMTソルバ実行戦略の検討. 情報処理学会論文誌プログラミング. 2018. 11. 2. 9-19

MISC (1件)：

中山寛己, 高野保真, 千代英一郎. 変数値域を限定した試行に基づく高次制約問題の充足可能性推定方法の検討. 情報処理学会論文誌プログラミング(PRO). 2017. 10. 1. 34-34

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

Improving Document Similarity Calculation using Cosine-Similarity Graphs
(The 33rd International Conference on Advanced Information Networking and Applications (AINA-2019) 2019)
JavaScript仮想機械記述のためのドメイン特化言語
(日本ソフトウェア科学会第21回プログラミングおよびプログラミング言語ワークショップ論文集 2019)
機械学習を用いたSMTソルバの自動選択と自動チューニングに向けて
(日本ソフトウェア科学会第35回大会 2018)
研究・教育用途の関数型プログラミング言語処理系を構築するためのフレームワークの実現に向けて
(情報処理学会第58回プログラミング・シンポジウム 2017)
Thunk Recycling for Lazy Functional Languages: Operational Semantics and Correctness
(30th ACM/SIGAPP Symposium on Applied Computing (SAC2015) 2015)

学歴 (4件)：

学位 (1件)：

経歴 (5件)：

委員歴 (3件)：

所属学会 (1件)：

ACM

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

高野 保真