メトリック
1 レコードビュー
- タイトル
- 数学的証明における but の機能：証明コーパスの構築と分析
- 作成者 – 役職なし
- Ryota AKIYOSHI
- 出版物に関する詳細
- 言語処理学会第32回年次大会発表論文集
- ID
- 991002636483407421
- 組織
- The University of Electro-Communications
- 言語
- 日本語
- 資料タイプ
- ジャーナル論文
- リソースのサブタイプ
- rm_published_papers: Others
ジャーナル論文 - rm_published_papers: Others
数学的証明における but の機能：証明コーパスの構築と分析
言語処理学会第32回年次大会発表論文集
2026