| 電子情報通信学会 研究会発表申込システム 研究会 開催スケジュール |
技報閲覧サービス [ログイン] 技報アーカイブ |
すべての研究会開催スケジュール (検索条件: すべての年度)
| 研究会 | 発表日時 | 開催地 | タイトル・著者 | 抄録 | 資料番号 | |
| COMP, IPSJ-AL (連催) |
2021-08-25 17:00 |
ONLINE | オンライン開催 | 定理証明支援系Coqによる二人単貧民の定理の証明 ○大渡勝己  COMP2021-12 |
数学の証明を，計算機上で再現性のあるルールの元で厳密な記述する形式的証明は，定理の妥当性を検証する有効な手段であり，Co... [more] | COMP2021-12 pp.14-18 |
| QIT (第二種研究会) |
2015-05-25 13:20 |
大阪 | 大阪大学 | ［ポスター講演］Robertson型不確定性関係の形式的検証 増原孝昭・○栗山十織・吉田雅一・程 俊（同志社大） |
大規模な証明の正当性を検証する方法として，定理証明支援系を用いた形式的検証がある．本研究では，量子鍵配送の無条件安全性に... [more] | |
| ET | 2015-03-14 15:40 |
徳島 | 四国大学交流プラザ | 中学生を対象とした三角形合同・相似証明支援システムにおける証明記述フォームの検討 ○平井佑樹・金子敬一（東京農工大） ET2014-105 |
著者らは先行研究で，生徒が三角形合同証明問題を解くことを支援する自学自習用システムを開発した．また，生徒がそのシステムを... [more] | ET2014-105 pp.113-118 |
[研究会発表申込システムのトップページに戻る]