Rchr
J-GLOBAL ID：200901085054142211
Update date: Sep. 03, 2019
SHUPING YIN
イン シュクヘイ | SHUPING YIN
Research keywords (6)：
自動定理証明器
, 対話型証明システム
, シークェント計算
, automatic theorem prover
, interactive proving system
, sequent calculus
Research theme for competitive and other funds (2)：
ソフトワェアのモデリングに関する研究
自動定理証明システムに関する研究
MISC (5)：
人間指向型汎用類推証明システムの開発. 計算機科学基礎理論の新展開 Development of an Analogy-Based Generic Human-Oriented Theorem Prover. 2004. 数理解析研究所講究録1375
人間指向型類推証明システムにおける類推処理の効率化. 火の国シンポジウム予稿集. 2004. 13-9-4
Refinement of analogy algorithm on the human-oriented prover. 2004
Developping proof assisting system in sequent calculus. 2004
シークェント計算における証明システムの開発. 火の国シンポジウム2003予稿集. 2003. pp. 216-223
Professional career (1)：
修士 (九州工業大学大学院(日本))
Work history (1)：
Kyushu Institute of Technology Graduate School of Computer Science and Systems Engineering (Master's and Doctoral Programs), Information Science
Committee career (1)：
情報処理学会 学生会員
Association Membership(s) (1)：
情報処理学会
※ 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
