研究者

J-GLOBAL ID：201301042948409300 更新日: 2022年08月03日

佐藤晴彦

サトウハルヒコ | Sato Haruhiko

所属機関・部署：
職名：助教
ホームページURL (1件)： http://kussharo.complex.ist.hokudai.ac.jp/~haru/

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

研究キーワード (3件)：定理自動証明 , 項書換え系 , 帰納的定理証明

論文 (24件)：

Lei Duan, Satoshi Oyama, Haruhiko Sato, Masahito Kurihara. Multi-Emotion Estimation in Narratives from Crowdsourced Annotations. Proceedings of the ACM/IEEE Joint Conference on Digital Libraries. 2015. 2015-. 91-100
Lei Duan, Satoshi Oyama, Haruhiko Sato, Masahito Kurihara. Separate or joint? Estimation of multiple labels from crowdsourced annotations. EXPERT SYSTEMS WITH APPLICATIONS. 2014. 41. 13. 5723-5732
Hiroki Takamatsu, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara. Method Sequence Generation for Multiple Object States using Dynamic Symbolic Execution. 2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC). 2014. 3632-3636
Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahito Kurihara. Transfer Learning Based on the Observation Probability of Each Attribute. 2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC). 2014. 3627-3631
Keiki Zen, Masahiro Suzuki, Haruhiko Sato, Satoshi Oyama, Masahiro Kurihara. Monophonic Sound Source Separation by Non-negative Sparse Autoencoders. 2014 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC). 2014. 3623-3626

もっと見る

学位 (1件)：

博士(情報科学) (北海道大学)

経歴 (1件)：

2009/01 - 現在北海道大学大学院・情報科学研究科助教

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

前のページに戻る

TOP

BOTTOM