著者

吉池 紀子 北端 美紀 武藤佳恭

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌数理モデル化と応用(TOM) (ISSN:18827780)

巻号頁・発行日

vol.42, no.5, pp.99-106, 2001-05-15

参考文献数

15

被引用文献数

4

---

本論文では,ニューラルコンピューティングの組合せ最適化手法の応用例として,現代語を組み合わせた現代風「いろは歌」の作成方法を紹介する.ここでは,現代風「いろは歌」作成問題を2種類の組合せ最適化問題としてとらえてニューラルコンピューティング手法により解いた.1つ目の制約条件はすべての仮名を重複なく用いるような文節の組を選ぶ問題である.2つ目の制約条件は日本語の係り受け制約に基づいて語順を決める問題である. シミュレーションでは,ツリーサーチによる探索手法とCPU時間による性能の評価を行った.We present a neural computing approach for composing a new version of Iroha-Uta using modern Japanese words and grammar. A new Iroha-Uta is composed by satisfying the following two restrictions. One of restrictions is how to chose words that satisfy the rule of Iroha-Uta and the other is how to order these words for making sentence based on Japanese grammar. In our simulation, the performance of the proposed algorithm is evaluated in terms of the CPU time comparing with the tree search method.

著者

井庭 崇 竹中 平蔵 武藤佳恭

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌数理モデル化と応用(TOM) (ISSN:18827780)

巻号頁・発行日

vol.42, no.14, pp.73-89, 2001-12-15

被引用文献数

5

---

本論文では,マルチエージェントモデルによる人工市場アプローチによって,家庭用VTR における規格競争のモデル化と分析を行う.提案する人工市場モデルでは,マーケティング・サイエンスや消費者行動論などのモデルを用いてミクロレベルのモデル化を行うため,従来のマクロ集計的なネットワーク外部性モデルでは行うことができなかった分析が可能となる.シミュレーションの結果,局所的影響によって地域ごとに採用される方式が分離するという「地域性」の発生が観察され,それにより優位方式のマーケットシェアの拡大が抑制されることが分かった.また,現実のデータと照らし合わせることにより,消費者の方式選択における大域的影響度と局所的影響度のバランスを推計した.さらに,マーケットシェアの逆転現象の頻度とモデル設定との関係を調べることにより,序盤において局所的な影響を受けて確率的に方式選択する場合に逆転現象が生じうることが示された.最後に本論文の結果をふまえ,人工市場モデルの妥当性の検証に関する取り組むべき課題について考察する.In this paper, the format competition of video cassette recorders is analyzed by the artificial market approach with multi-agent model. The proposed artificial market model is made at microscopic level with models in marketing science and studies of consumer behavior, rather than aggregate macroscopic model of network externalities. As a result of the simulation, the emergence of "locality", which is caused by the local influence, is observed. In addition, the results show that the local clusters provide the brakes on the winner-take-all phenomenon. Then we estimate the balance of the global and local influences by comparing with the data in the real world. The frequency for the come-from-behind win and its settings are investigated. At the last part of the paper, the problem to work on about the model validation is discussed for the future study of artificial market simulation.

著者

吉池 紀子 北端 美紀 武藤佳恭

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告数理モデル化と問題解決(MPS) (ISSN:09196072)

巻号頁・発行日

vol.2000, no.85, pp.61-64, 2000-09-21

---

本論文では,ニューラルコンピューティングの組合せ最適化手法の応用として,現代語を組み合わせた現代風「いろは歌」の作成方法を紹介する.ここでは,現代風「いろは歌」作成問題を二種類の組み合わせ最適化問題として捉えることによりニューラルコンピューティング手法により解くことを可能にした.一つ目の問題はすべての仮名を重複なく用いるような文節の組を選ぶ問題である.二つ目の問題は日本語の係り受け制約に基づいて語順を決める問題である.シミュレーションでは,あらかじめ語群として用意した964語の文節の中からいろは歌作成を行なった。その結果,自然な日本語に近い現代風「いろは歌」を生成できることが示された.We present a neural computing approach for composing a new version of Iroha-Uta using modern Japanese words and grammar. A new Iroha-Uta can be composed by satisfying the following tow restrictions. ura One of restrictions is how to chose words that satisfy the rule of Iroha-Uta and the other is how to order these words for making sentence based on Japanese grammar. In our simulation, 964 preset words are used for making Iroha-Uta. Our experimental results shows that the proposed algorithm can compose variations of Iroha-Uta as natural Japanese sentence.

著者

安藤類央 武藤佳恭

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告数理モデル化と問題解決(MPS) (ISSN:09196072)

巻号頁・発行日

vol.2006, no.29, pp.77-80, 2006-03-17

---

本論文では、N色グラフ彩色可能判定問題に関して、パラモジュレーション(等号調整導出)をベースにした定理証明に、Hot List Strategyと呼ばれる計算戦略を適用することの有効性を示す。同計算戦略を用いると、等価代入の手法によっては目的する節が導出される前に冗長な節生成が起きる場合について、冗長な節の生成(遅延)によるCPU時間の削減を行うことが可能になる。グラフのN彩色判定問題において、等号調整導出による推論が適用できること、さらに等号調整導出の推論プロセスは、Hot List Strategyに対して効果的な適合をすることを示した。評価実験では、非ハミルトングラフであるぺテルセングラフを対象にし、彩色判定の際の生成節数やCPU時間を測定し、その結果推論の遅延と計算コストを削減できることが明らかになった。In this paper, we discuss the effectiveness of applying hot list strategy for paramodulation based N-coloring graph problem. This ATP (automated theorem proving) strategy reduces is designed to deal with a substantial delay in going to a retained conclusion, which makes it possible to reduce the CPU time occurred by redundant generated clauses. We show that paramodulation could used for formulating graph coloring problem and hot list strategy is suitable for controlling paramoudlation based resolution. In experiment, CPU time and the number of generated clauses is presented in solving coloring problem of Petersen graphs.

著者

鈴来響太郎 花田 彰 天野 英晴 武藤佳恭

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告計算機アーキテクチャ(ARC)

巻号頁・発行日

vol.1993, no.111, pp.9-16, 1993-12-16

---

現在までに提案されている並列自動配線アルゴリズムのほとんどは、従来からある迷路法、線分探索法を並列化したものである。このため、細粒度の並列化と高いプロセッサ利用率を同時に実現できず、並列計算機に実装した場合に高い台数効果を得ることが難しい。本研究では、この条件を満たせるようにニューラルネットワークに基づく並列自動配線アルゴリズムを提案し、シーケンシャルマシン上に実装してアルゴリズムの質の評価を行なう。また、並列計算機への実装の方法についても検討する。Since most of proposed parallel routing algorithms are parallelized algorithms of maze running or line search which were developed for sequential machines, efficient parallel processing with high processor utilization is difficult. Here, a parallel routing algorithm based on neural networks which can achieve both high degree of parallelism and utilization ratio is proposed, and the quality of the solution is presented on a sequential machine. The implementation on a parallel machine is also discussed.

著者

井庭 崇 中鉢欣秀 松澤 芳昭 海保 研 武藤佳恭

出版者

一般社団法人情報処理学会

雑誌

情報処理学会論文誌数理モデル化と応用(TOM) (ISSN:18827780)

巻号頁・発行日

vol.44, no.14, pp.20-30, 2003-11-15

被引用文献数

5

---

本論文では,エージェントベースアプローチによって,社会・経済のモデルを作成するためのフレームワークを提案する.このフレームワークによって,「複雑系」(構成要素の振舞いのルールが状況によって動的に変化するシステム)のモデルを記述し,シミュレートすることが可能となる.提案フレームワークは,概念モデル・フレームワークとシミュレーションモデル・フレームワークの2つで構成され,モデル化からシミュレーションまでの一貫した支援を行う.提案フレームワークの特徴は,エージェント間の相互作用を,財(および情報)のやりとりとして明示化する点にある.また,エージェントの行動を,エージェントとは別のモデル要素として外部化し,オブジェクトコンポジションによって付加する点にも特徴がある.本論文は,社会・経済システムをオブジェクト指向でモデル化するための1つのパターンを提示するだけでなく,モデルを作成・実行する環境もあわせて提供することで,シミュレーションを行う仕組みも実現する.In this paper, we propose a framework of agent-based models for economies and societies.This framework allows us to describe and simulate the complex system where the rules of the behavior for each elements change dynamically through out the simulation.The proposed framework is based on a set of two models.One is for building the conceptual models and the other for executing the simulation.Two models together are able to process consistently from modeling to execution.One of characteristics in the proposed framework is that interactions between agents are clearly declared as the exchange of goods (with information).Also, a behavior is defined as a different object from each agents in the model to realize flexible design by using the object-composition technique.This paper not only provides a pattern of modeling the socio-economic system by using object-oriented methodology, but also is able to analyze the state of the system using simulation by providing the environment to build the model and execute the simulation.

著者

藤澤 公也 武藤佳恭

出版者

一般社団法人情報処理学会

雑誌

情報処理学会研究報告数理モデル化と問題解決(MPS) (ISSN:09196072)

巻号頁・発行日

vol.2003, no.91, pp.53-56, 2003-09-18

---

Recreational Mathematicsの分野ではWeb上で多くの未解決問題が提示され,活発に議論されている.本研究ではDuisenberg's Puzzleにおいて2000年6月28日に提示された未解決問題の一つである"Doubly AttackingQueens"問題に対してニューラルネットワークをベースとした新しい手法を適用した.本手法はニューラルネットワークの組合せ最適化手法に遺伝的アルゴリズムの突然変異を組み合わせたものであり,この問題における新しい解を発見することに成功した.In the field of Recreational Mathematics, many unsolved problems have been actively shown on the Internet Web where some solutions have been given. The problems:"Doubly AttackingQueens" is one of the unsolved problems shown on the Web site of Ken Duisenberg's Puzzle on June 28, 2000. In this research, the combined optimizing method using an artificial neural network and a genetic algorithm is proposed and new solutions are discovered.