<試論>シーケント計算に基づく証明系と法的推論への適用
スポンサーリンク
概要
著者
関連論文
- 詳説社会情報学部再編案
- ソフトウェア学習支援環境システムの開発
- 形成概念解析ツールとデータ解析
- Webメニューデザインの形式的方法 : 情報アーキテクチャへの形式概念解析の応用
- 社会情報解析への一寄与 : 形式概念によるデータ解析
- 形式概念を用いたデータ解析--幼児発達行動の分析
- 形式概念にもとづく質的分析
- 価値判断過程の解析と形式化
- 「チャタレイ事件」判決における猥褻概念の論理分析
- 社会情報の語用論的分析 : 判決文における逆接/譲歩, 条件文の分析
- シーケント計算に基づく証明系と法的推論への適用
- 価値基準の選択と論理構造の分析--最高裁大法廷判決文を例として
- 遅延評価関数型言語処理系の高速化
- 社会情報解析--判決文における論理情報過程と価値情報過程との相互連関について
- 第20回社会と情報に関するシンポジウム 集合知と社会情報学 : 社会情報学の構築を目指して