Rchr
J-GLOBAL ID：201301042948409300
Update date: Aug. 03, 2022
Sato Haruhiko
サトウ ハルヒコ | Sato Haruhiko
Contact this researcher
You can send email directly to the researcher.
Affiliation and department：
Hokkaido University
About Hokkaido University
Search "Hokkaido University"
Homepage URL (1)：
http://kussharo.complex.ist.hokudai.ac.jp/~haru/
Research field (1)：
Software
Research keywords (3)：
定理自動証明
, 項書換え系
, 帰納的定理証明
Papers (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
ｍore...
Professional career (1)：
Doctor of Information Science (Hokkaido University)
Work history (1)：
2009/01 - 現在 北海道大学 大学院・情報科学研究科 助教
※ 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
