HTMLをもちいた定理の自動証明システムの実現

スポンサーリンク

概要

• 論文の詳細を見る

• 定理の自動証明システムをWWW上で実現する。一般にハイパーテキストのビューワーと認識されているWWWブラウザを一つの環境ととらえ、その上に論理体系CLCに基づく証明システムを構築する。WWWブラウザとサーバ上の証明プログラムの間で、命令とデータのやりとりを繰り返しながら証明を進める。証明プログラムはサーバー上で実行されるので、ユーザーはただWWWブラウザを用意するだけでシステムを利用することができる。つまりコンピュータの機種やOSの種類によらない普遍的な環境を提供することができた。

• 一般社団法人情報処理学会の論文
• 1996-03-06

著者

• 筧 捷彦

  早稲田大学理工学術院

• 筧 捷彦

  早稲田大学

• 辰巳 丈夫

  早稲田大学情報科学研究教育センター

• 辰巳 丈夫

  早稲田大学理工学部

• 辰巳 丈夫

  神戸大学発達科学部

• 辰己 丈夫

  早稲田大学メディアネットワークセンター

• 西田 雅彦

  早稲田大学理工学部

• 高津 智仁

  早稲田大学理工学部

• 辰巳 丈夫

  東京農工大学

• 辰己 丈夫

  早稲田大学理工学総合研究センター

• 辰己 丈夫

  早稲田大学

関連論文

• 発達障害児・者へのパニック対応学習支援システムの開発I : パニック・リフレクションモデルの開発と可能性(自主シンポジウム18,日本特殊教育学会第47回大会シンポジウム報告)
• 1. 情報専門学科カリキュラム標準J07について(情報専門学科カリキュラム標準J07)
• 編集にあたって(情報専門学科カリキュラム標準J07)
• 児童生徒の操作履歴を基に自動採点を行う試験システムの開発
• 「WCC98に参加して/IFIP TC : この1年」
• 1.情報科学教育の重要性と情報処理学会の活動(未来のコンピュータ好きを育てる)
• 編集にあたって(未来のコンピュータ好きを育てる)
• 4ZG-8 初等幾何学教育のための作図ソフトウェア「HiZy」(教科学習,学生セッション,コンピュータと人間社会)
• 1Q-3 ウェブサイトを構築するための関数型ビジュアルプログラミング言語「ゆば」(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
• 1Q-2 日本語プログラミング言語によるプログラムの記述(プログラミング言語・実装・支援,学生セッション,ソフトウェア科学・工学)
• A-030 ウェブサイトを構築するための関数型ビジュアルプログラミング言語「ゆば」(A分野:モデル・アルゴリズム・プログラミング)
• 9.高度IT人材育成フォーラム(ITフォーラムへの誘い)
• 本格段階に入ったJABEE認定制度の普及と活用 : 情報技術教育を中心とした促進策について(JABEE普及啓発シンポジウム(経済産業省委託事業))(会議レポート)
• 1800時間(情報技術と教育)
• 大学構内モバイル環境実現における履歴収集機能拡張
• 4X-3 大学構内におけるモバイル環境実現の経験とその評価(学校・教室システム,一般講演,コンピュータと人間社会)
• 1ZA-7 マルチリンガルエディタにおける検索機能の設計(2) : 検索機能の実現(UI開発支援,一般講演,インタフェース)
• 1ZA-6 マルチリンガルエディタにおける検索機能の設計(1) : 基本要件の抽出と発展型の提案(UI開発支援,一般講演,インタフェース)
• 国際化Web Browserの設計
• 国際化テキスト入力機構モデルの構築
• 国際化Webブラウジングの検討
• 米田信夫先生を悼む
• プログラマブルテキストコンバータ
• Definition of the Mongolian Character Codesets Enabling Multilingual Text Manipulation
• 国際化Web Browserの設計
• 「アクレディテーション」
• 情報倫理教育の国際比較
• プログラミング言語の新潮流
• 情報倫理教育に関する国外の状況調査 : 教材の国際的共同開発のために(インターネットと情報教育-シングルセッション,インターネットと情報倫理教育,一般)
• 情報倫理教育に関する国外の状況調査 : 教材の国際的共同開発のために(インターネットと情報教育-シングルセッション,インターネットと情報倫理教育,一般)
• 情報倫理教育に関する国外の状況調査 : 教材の国際的共同開発のために(インターネットと情報倫理教育-シングルセッション,インターネットと情報倫理教育,一般)
• BS-11-5 大学の情報セキュリティ強化と情報倫理ビデオ(BS-11.進化するキャンパス情報システムとセキュリティ対策・情報倫理教育,シンポジウムセッション)
• 高機能自閉症児のための絵記号コミュニケーション学習支援の実践(障害者教育・特別支援教育)
• 情報科教育法における情報倫理とモラル(インターネットと情報教育-シングルセッション,インターネットと情報倫理教育,一般)
• 情報処理専門教育カリキュラムとアクレディテーション
• Tonyu : アクションゲーム製作に特化した開発環境
• 5.Ada-9X : 大規模ソフトウェア向きの手続き型言語 (<特集>プログラミング言語最新情報-II)
• RA-009 日本語プログラミング言語における字句解析(モデル・アルゴリズム・プログラミング,査読付き論文)
• 2-1 IEEE/ACM Computing Curricula 2001などの情報通信系標準カリキュラム : 2003年度発足の早稲田大学理工学部コンピュータ・ネットワーク工学科カリキュラムを例として(2.カリキュラム)(グローバル化時代の教育と研究)
• ACM国際大学対抗プログラミングコンテスト世界大会報告
• RA-003 日本語らしい日本語プログラムを書くために(A分野:モデル・アルゴリズム・プログラミング,査読付き論文)
• 8 大学における情報教育J07(変わりつつある情報教育)
• IFIP近況報告 : 情報処理国際連合(委員会から)
• 情報および情報関連分野の分野別要件
• TC2(Software : Theory and Practice) : ソフトウエアの理論と実際
• 最近の Ada の動向 (Adaの応用と評価)
• Adaの待ち合わせの標準形について(同期の数理)
• ALGOL N について : (VI) Standard decla Fations (つづき)
• ALGOL N について : (VI) Standard declarations (つづき)
• ALGOL Nについて : (VI) Programの動的作用
• Knight-Tourのプログラム (計算機によるゲームとパズルをめぐる諸問題研究会報告集)
• 6902 LISPによるNewton Raphson 法
• 日-韓機械翻訳における連語パターンを用いた変換手法
• 語の連接関係を利用した未知語の形態素辞書情報の獲得手法
• 不完全情報を含む日本語解析システムについて
• 構文解析に基づく辞書情報推定に関する研究
• ソフトウェア科学と数理論理学
• 情報倫理教育と学生の実状
• proGrep-プログラミング学習履歴検索システム
• proGrep-プログラミング学習履歴検索システム
• プログラミングの入門に適した,支援システムとコースデザイン
• A-031 オブジェクト指向プログラミングにおけるオブジェクトの自動可視化 : Nigariへの実装を例として(A.モデル・アルゴリズム・プログラミング)
• プログラミング環境Nigari : 初学者がJavaを習うまでの案内役
• Nigari-Java言語へも移行しやすい初学者向けプログラミング言語
• 「つながり」を利用した検索語からの同義語の抽出
• D-8-19 エージェントを用いた自動情報配信システムの設計
• 言語規格にみる言語定義の仕方とその読み方
• 数理論理学
• 13. ADA (プログラミング言語の最近の動向)
• Adaと支援環境 (プログラミング言語 : PascalとAda)
• Ada : 米国国防総省新言語
• ストラクチャード・プログラミング用言語
• ミニコンによるコンピュータ教育 : NHK教育テレビの場合
• 5W-10 WebをコーパスとしたSetExpansionの改善(言語情報抽出,学生セッション,人工知能と認知科学,情報処理学会創立50周年記念)
• 初等中等教育における情報倫理教育のあり方について
• 日本学術会議と「情報学」の新展開
• P区間表とそのプログラミング教育における効果
• 日本語で一貫したプログラミングの実践〜プロデルを用いて〜
• 自然言語処理による新しい日本語組版をめざして
• 日本語プログラミング言語における関数の多重定義解決の実装と評価
• 廣瀬健先生を偲ぶ(学会記事)
• HTMLをもちいた定理の自動証明システムの実現
• 未踏ユースから育ったタレントたち【PART 2 プロジェクトマネージャからも一言】:3.未踏ユースから育ったタレントたち
• 教育方法への取組みに向けて-勉強会を始めませんか-
• 産業技術系専門職大学院の認証評価--大学評価制度はどうあるべきか? (ぺた語義(第7回))
• ご存知でしたか? (ぺた語義(第1回))
• ぺた語義 JABEEを通じた大学教育の質的保証(後編)ソウル協定と情報分野の分野別要件
• 教育方法への取組みに向けて : 勉強会を始めませんか(情報教育,一般)
• 学会の機能
• ネットワークと学会
• 廣瀬健先生を偲ぶ
• 超並列計算機への期待 (超並列処理)
• 島内剛一先生を悼む
• 教育方法への取組みに向けて : 勉強会を始めませんか
• 日本語プログラミング言語「プロデル」における動的型の解決方式の改良
• RF-003 性別による言葉遣いの違いを考慮したブロガーの年齢推定手法の提案(知識処理,F分野:人工知能・ゲーム)
• 9-215 情報システム企画・開発の実践的な擬似プロジェクトベース教育(OS プロジェクトマネジメントとPBL-IV,口頭発表)
• A-013 形態素解析エンジンを利用した日本語プログラミング言語Wowrusの開発(プログラミングと数理モデル,A分野:モデル・アルゴリズム・プログラミング)
• RA-002 日本語プログラミング言語によるプログラムの可読性の評価(プログラミングと数理モデル,A分野:モデル・アルゴリズム・プログラミング)
• 情報教育と情報入試:0.編集にあたって

もっと見る 閉じる

スポンサーリンク