クリプキ·モデルに基づく音楽のコード表現と生成に関する基礎的考察

机译：基于Kripke模型的和弦表示和音乐生成的基本注意事项

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

クリプキ·モデルは可能世界の非空集合,その上の2項関係(到達可能関係)，原子命題の各世界における真偽を与える付値関数から構成され，様相論理や直観主義論理など非古典論理に対するいゎゆる可能世界意味論を提供する.

机译：Kripke模型包括一组非空的可能世界，一个二元关系（可达关系），一个出价函数，该出价函数给出每个原子命题世界的真相以及模态逻辑和直觉逻辑之类的非经典逻辑提供所有可能的世界语义。

著录项

来源
《情報処理学会全国大会》|2010年|2.25-2.26|共2页
会议地点
作者
村井　哲也; 生方　誠希; 工藤　康生; 赤間　世紀;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. NTTドコモは，2015年4 月28日の決算発表時に「中期目標に向けた新たな取り組み」と題して新たな事業ビジョンを発表しました．キーワードは「競争」から「協創」です．パートナーの皆様が保有する強みとドコモの強み（各種のビジネスアセット）を組み合わせて新たな価値を一緒に創造（協創）していきたいという思いです．この取り組みをドコモの頭文字をとって「+d（プラスディー）」と名付けました．本稿では，ドコモの「+d」の具体的な取り組みについて紹介します．本記事は，2016年2 月18～19日に開催された「NTT R&Dフォーラム2016」ワークショップでの講演を基に構成したものです． [J] . 阿佐美弘恭 NTT技術ジャーナル . 2016,第4期

机译：NTT DOCOMO宣布了2015年4月28日公布时题为“中期目标的新努力的新商业愿景。关键词是“竞争”的“合作”。我想我想结合合作伙伴的力量和DoCoMo（各种商业资产）的力量，并共同创造一个新价值。这项倡议被称为Docomo的首字母，并命名为“+ D（Plasdee）”。本文介绍了Docomo“+ D”的具体举措。本文基于2016年2月18日至196年2月18日至19日举行的“NTT研发论坛2016年”研讨会的讲座。
2. 後工程をラクにするための樹脂部品モデリングの基礎をつかむ－金型に活かせるモデルづくりのコツ：これだけは避けよう,金型に活用できないモデル－(5)中間公差モデルとキャビ·コアのパラレルモデリング [J] . 堀川正美機械設計 . 2002,第3期

机译：抓住树脂零件建模的基础，使可以用于模具的后工艺制造模型：一种可用于避免这种模型，不能用于模具 - （5）中间公差模型和卷心菜核心并行建模
3. 後工程をラクにするための樹脂部品モデリングの基礎をつかむ－金型に活かせるモデルづくりのコツ：これだけは避けよう,金型に活用できないモデル－(5)中間公差モデルとキャビ·コアのパラレルモデリング [J] . 堀川正美機械設計 . 2002,第3期

机译：抓住树脂零件建模的基础，使可以用于模具的后工艺制造模型：一种可用于避免这种模型，不能用于模具 - （5）中间公差模型和卷心菜核心并行建模
4. クリプキ·モデルに基づく音楽のコード表現と生成に関する基礎的考察 [C] . 村井　哲也, 生方　誠希, 工藤　康生, 情報処理学会全国大会 . 2010

机译：基于Cryptx模型的代码表达和音乐生成的基本思考
5. 肝機能障害の評価法とその障害機序に関する研究; ヒト肝ミトコンドリアの日内代謝変動に基づく肝機能評価及び動物モデルを用いた肝ミトコンドリア障害機序 [D] . Iwata, Shingo 1993

机译：肝功能障碍评估方法及其机制的研究；基于人肝线粒体每日代谢变化和肝线粒体损伤机制的动物模型对肝功能的评估
6. 研究活動研究トピックス: Masuda型フレアにおける軟X線ループの上昇速度とプラズモイド噴出の速度、ループ上空の硬X線源の高さの相関、そしてフレアのリコネクションモデルに基づくその解釈 [O] . 西田圭佑 2010

机译：研究活动研究主题：增田耀斑中软X射线环的上升速度和等离子体发射速度，环上方硬X射线源高度的相关性以及基于耀斑重连模型的解释

クリプキ·モデルに基づく音楽のコード表現と生成に関する基礎的考察

摘要

著录项

相似文献

相关主题

期刊订阅