HPSGを用いたユークリッド『原論』の解析

スポンサーリンク

概要

• 論文の詳細を見る
• 言語処理学会の論文
• 2004-01-10

著者

• 斎藤 憲

  大阪府立大学人間社会学部

• 斎藤 憲

  大阪府立大学総合科学部人間科学科

• 中嶋 健一郎

  東芝情報システム株式会社

• 東条 敏

  北陸先端科学技術大学院大学情報科学研究科

• 東条 敏

  北陸先端科学大学院大学 情報科学研究科

• 斎藤 憲

  人間科学科

関連論文

• HPSGを用いたユークリッド『原論』の解析
• アルキメデスの求積法
• さらば幾何学的 : 代数ギリシア幾何学の理解のために (数学史の研究)
• ピュタゴラスたちの真実--数学の証明を発明したのは誰か(最終回)2つの数学という歴史の鏡
• ピュタゴラスたちの真実--数学の証明を発明したのは誰か(5)数学にイデアを見たプラトン
• 音楽と言語の構造認知(言語と学習)
• 様相オペレータを具備したエージェントによる追跡問題の研究
• 否定的意味が内在するソートを含んだソート階層の論理(システムLSIの設計技術と設計自動化)
• 統計的学習に基づく音楽理論σGTTM : 局所的グルーピング境界の検出(音楽構造解析)
• 人工市場アプローチにおける強化学習を用いた介入政策の分析
• 本シンポジウム開催の趣旨
• シンポジウム : 「ユークリッドの種々相」 1993年日本科学史学会年会報告
• 第5回 計算論的音楽理論の応用 : 計算の視点から音楽の構造を眺めてみると(道しるべ)
• FATTAに基づくメロディ予測システム(アプリケーション)
• 計算の視点から音楽の構造を眺めてみると : 第1回 計算論的音楽理論について(道しるべ)
• タイムスパン木に基づくメロディモーフィング法(音楽理論・分析)
• タイムスパン木獲得システムの完全自動化(音楽情報処理)
• 音楽理論GTTMに基づくグルーピング構造獲得システム(音楽分析,便利で身近な音楽情報処理)
• ATTAグルーピング構造分析器のパラメータ重要度評価
• 対立を用いた法的知識の整合性検証
• エージェント間通信における信念の動的な更新
• 第3回 音楽と言語の構造認知 : 計算の視点から音楽の構造を眺めてみると(道しるべ)
• 構文獲得における対称性バイアスの有効性
• 電子社会と法令工学(法情報学最前線)
• 6ZF-4 概念辞書を用いたユーザの状況を想定した目的指向衣服推薦システムの実装(テキストマイニングの応用,学生セッション,コンピュータと人間社会)
• 4V-9 信念の論理とチャネルに基づいたエージェントコミュニケーションの表現(マルチエージェント(2),学生セッション,人工知能と認知科学)
• タイムスパン木に基づくメロディモーフィング法(音楽理論・分析)
• 法的推論のための論理型イベント言語(知識処理,インタラクションの理解とデザイン)
• 素性から組み上げられる文の論理構造(現実テキストからの知識表現と推論の実現)
• 孤島の住人たち
• 時制と時区間を表現する複様相論理とその決定可能性
• 言語動力学によるクレオール化のシミュレーション(言語の進化・変化と獲得)
• 人工市場アプローチによる介入エージェントを用いた為替介入効果の分析
• ATTA : exGTTMに基づく自動タイムスパン木獲得システム
• 情報源の明らかな選好関係を信念とした融合
• 言語動力学におけるクレオールの創発
• GTTMに基づく楽曲構造分析の実装 : グルーピング構造と拍節構造の獲得(音楽分析)
• GTTMグルーピング構造分析の実装 : ルールを制御するパラメータの導入(分析,動向調査)
• マルチエージェント環境での人工ピジンの生成
• 日本語レシピ文における時間的関係構造の自動生成
• マルチエージェント・モデルのための時相認識論理とその効率的な証明探索手続き(マルチエージェント)
• 人工市場アプローチにおける強化学習を用いた介入政策の分析
• HPSGを用いた楽曲の和声解析(セッション7 : モデルと文法)
• グルーピング規則適用を改良したGTTMの実装(セッション7 : モデルと文法)
• ヘッドの概念を用いた和声学の文法
• GTTMに基づくグルーピング構造及び拍節構造の自動分析の試み
• G.V.A.における架空名義入札の効用
• タイムスパン木のjoinとmeetについて
• タイムスパン木の単一化可能性
• 旋律モーフィングアルゴリズムの形式的検証
• 暗意実現モデルにおける基本類型を用いたメロディ構造分析
• 音楽理論GTTMに基づく木構造を用いたメロディ生成手法
• 伝承と改変 : 『原論』のテクストと図版から(エウクレイデスの全体像に迫る 全集翻訳の経験から,2007年度年会報告)
• 室井和男著, 『バビロニアの数学』, 東京大学出版会, 2000年3月, xi+187頁, 本体3800円+税, ISBN4-13-061302-2(紹介)
• ピュタゴラス派と数学-懐疑的主張の弁明と捕捉
• 定規とコンパスの神話 : 『ピレボス』51cの翻訳をめぐって
• 情報伝播と Arrow論理によるエージェント間コミュニケーションの形式化 (&特集>「記号論理とAI」)
• 類似した楽曲構造を持った旋律のインタラクティブな生成方式
• Common language acquisition by multi-agents
• タイムスパン木の単一化可能性
• Tonal Pitch Space を用いた楽曲の和声解析
• エウクレイデス『原論』の整数論--その起源を探る (特集 〈数〉の思考)
• ギリシアの幾何学 (特集=幾何学の思考) -- (原理)
• 数学史におけるパラダイム・チェンジ (総特集 数学の思考) -- (数学史のフロント)
• コンセプトマップを用いた電子教材の評価手段の提案 (先端メディアの教育利用と教材データの格納・再利用/一般
• 様相オペレータを具備したエージェントによる追跡問題の研究
• 様相オペレータを具備したエージェントによる追跡問題の研究
• 空間構造を導入した言語動力学によるクレオール化のシミュレーション--言語入力量によるコミュニティ形成の差異について (ワークショップ 言語変化への認知的・形式的アプローチ)
• ピュタゴラスたちの真実--数学の証明を発明したのは誰か(4)ヒッポクラテスの数学と知的遊戯
• ピュタゴラスたちの真実--数学の証明を発明したのは誰か(3)裁判で学んだ?証明の説得術
• ピュタゴラスたちの真実--数学の証明を発明したのは誰か(2)神秘主義まとった"数学者"
• ピュタゴラスたちの真実 つくられた"最初の数学者"伝説
• 計算好きだったアルキメデス--ギリシア数学の新たな見方
• 編集後記 : 紀要のための弁明
• 確率文脈自由文法を用いたエージェント間での言語共有
• 確率文脈自由文法を用いたエージェント間での言語共有
• 確率文脈自由文法を用いたエージェント間での言語共有
• 効果的な局所探索制限によるMemetic Algorithmの高速化
• ソートと述語の二つの階層をもつ論理のホーン節計算の完全性
• イベントとプロパティの区別を導入した型階層論理
• 法律知識の事象的/属性的読みを区別した推論システム
• 語彙項目の否定を導入した推論機構
• 述語の型階層と二面性を導入した状況推論システム (&特集>「記号論理とAI」)
• 数学史から見た数学教育 (教育数学の構築)
• ベイズ推論を用いたITシステム管理向け構成情報推定方式の提案(システム運用と管理2,インターネットと情報倫理教育,一般)
• ベイズ推論を用いたITシステム管理向け構成情報推定方式の提案(システム運用と管理2,インターネットと情報倫理教育,一般)
• タイムスパン部分木一致率に基づく楽曲間類似度
• Beyond GTTMism - 音楽の意味論と計算体系

もっと見る 閉じる

スポンサーリンク