跳到主内容
申请路径
工具中心
日本生活
考试道场
数据中心
日
·
EN
·
中
正在读取登录状态
菜单
←
返回教授匹配
APPLICATION
教授匹配
佐藤 晴彦 · 北海学園大学 · 教授匹配 · 留学神社
教授资料
深度页
佐藤
晴彦
更多
•••
← 方向地图
A · 基础信息
公开教授资料
1/3
A · 基础信息
留学神社 · 公开教授档案
Public Professor Archive
佐藤
晴彦
北海学園大学 · 工学部
论文 / 著作
4
留学 神社
A
基础信息
北海学園大学 · 工学部
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。
B
近期论文 / 著作
「UNIXファイルシステムの形式化における不変性の拡張と一般化」, 北海学園大学工学部研究報告(53), pp.1-13, 2026年1月
「Optimizing mkbTT (System Description)」（共著：Sarah Winkler, Haruhiko Sato, Aart Middeldorp, Masahito Kurihara）, 21st International Conference on Rewriting Techniques and Applications (RTA 2010), Edinburgh, UK, Jul 2010
「Discovering conditional properties of recursive functions in a proof assistant」（共著：Haruhiko SATO and Natsuo ISHII）, Joint 11th International Conference on Soft Computing and Intelligent Systems and 21st International Symposium on Advanced Intelligent Systems (SCIS-ISIS), Dec 2020
「定理証明支援系Isabelleにおける関数検索機能の拡張」, 北海学園大学工学部研究報告(51), pp.35-48, 2024年1月
C
可核对的公开链接
官方个人主页
下一步
登录后查看匹配度与联系建议
个性化匹配理由、联系角度与收藏保存需要登录后使用。
登录后查看匹配度和联系建议
