著者
天野 純子 力宗 幸男
出版者
一般社団法人情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.46, no.3, pp.715-727, 2005-03-15
参考文献数
15
被引用文献数
6

高度なコンピュータ技術を習得していなくても利用できる,マルチメディア図書オーサリングシステム「ひまわり」を構築した.現在,視覚障害者用に国際標準であるDAISY仕様ディジタル録音図書(以下,DAISY録音図書)が製作され始めているが,高度なコンピュータ技術の理解なしでは図書の製作は困難であり,普及が進んでいるとはいえない.本システムにより,高度なコンピュータの知識なしに,DAISY録音図書を容易に作成することが可能となった.さらに,DAISY 録音図書に利用されている技術とWeb上で用いられているストリーミング技術との共通点に注目し,DAISY録音図書の作成と同時にストリーミング図書を作成できるようにシステムの拡張を行った.評価実験を行うことにより,既存のシステムと比較して非常に容易に目標を果たせることを確認した.Since the international standard digital talking book DAISY contains not only sounds but also texts and pictures, it is a universal digital talking book for not only visually impaired people but also anyone from children to the elderly. But with authoring systems now available, it is difficult to create DAISY talking books without knowledge of computers and computer languages, so DAISY talking books are less popular than traditional talking books. Our authoring system, "HIMAWARI," is a user-friendly system with which it is easy to create DAISY talking books without special knowledge of computers or computer languages. The system can also create "streaming books." We show that our system is an improvement on the existing authoring systems based on feedback from experimental users.
著者
Boris Aronov 浅野哲夫 菊地洋右 SubhasC.Nandy 笹原 慎司 宇野 毅明
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告アルゴリズム(AL) (ISSN:09196072)
巻号頁・発行日
vol.2005, no.26, pp.63-69, 2005-03-17
参考文献数
2

n×nの行列に整数0 ... n2-1を配置し、どの行和、列和も等しいものをsemimagic squareとよばれる。ここでは列和、行和のかわりにk×kの部分行列に含まれる要素の和を考え、この和が等しいn×n行列をzero k×k-discrepancy matrixとよぶ。そしてこのような行列はkとnがともに偶数であるとき存在し、kとnが互いに素であるとき存在しないことを示す。さらに、k m●2を整数としたときn=k*であるならばzerok×k-discrepancy matrix の存在がいえる。このzero k×k discrepancy matrixの恒星にはconstant-gap matricesを用いる。また、constant-gap matricesの特徴づけを行なう。A semimagic square of order n is an n×n matrix containning the integers 0,...,n2-1arranged in such a way that each row and column add up to the same value.We generalize this notion to that of a zero k×k-discrepancy matrix by replacing the requiremento tha the sum of each row and each column be the same by that of requiring that the sum of the entries in each k×k square contiguous sub matrix be the same.We show that such matrices exist if k and n are both even,and do not if kand n are are relatively prime.Further,the existence is also guaranteed whenever n=k ●,for some integers k,m●2. A class of matirices,called constant-gap matrices plays an important role.We give a characterization of such matrices.
著者
益冨 文男
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告グループウェアとネットワークサービス(GN) (ISSN:09196072)
巻号頁・発行日
vol.1993, no.56, pp.41-48, 1993-06-25

今回、偶数次の魔方陣を2行2列毎に罫線で仕切り、罫線で囲まれた4個を2つの斜め位置で入れ替える。この作業を一斉に行なって新たな魔法陣を形成し得る事を見出した。また、4次の魔方陣全てを数学での集合を用いてパソコンを用いて解いた結果w0=0の場合に於いてのみ、解が存在する事を見出した。すなわち1から16までの自然数を使用する4次の魔方陣全てに就いて、各行4個・各列4個・主斜め2個の和wa=34であるのみならず、4コーナー数の部分和=34、センターに接する内陣4個の部分和=34,4コーナーを除く外周に位置する8個の数に関して、上下4個の部分和=34、左右4個の部分和=34であるという特異性の存在を見出した。グループウェア性や排他性の論拠の一つに利用し得る。wa/2=17の分類も試みたので報告する。This paper shows at first that a general theorem of cross conversions for all the 4 numbers in per 2 rows and per 2 columns about all the even magic squares has been discovered, then shows also that the theorems for the 4th order magic suares of all the 7040 kinds has been discovered. They are based on theory of numbers and set operations by using a personal computer with a Pascal compiler and a MS-DOS converter. The partial sum of the 4 corners is eqall to 34, the sum 34 is equal to any row, any column and two main diagonals. The partial sum of 4 inners, the 4 positions of upward and downward rows, the 4 positions of left and right columns without 4 corners are also equal to 34.
著者
齋藤 直樹 中井 満 下平 博 嵯峨山 茂樹
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告音楽情報科学(MUS) (ISSN:09196072)
巻号頁・発行日
vol.1999, no.106, pp.27-32, 1999-12-11
参考文献数
17
被引用文献数
12

本稿では、隠れマルコフモデルを用いて人間によって、鍵盤演奏された音符音長系列情報(スタンダードMIDIファイル)から意図された音符列を推定する手法を提案し、実験によりその有効性を実証する。人間が音楽演奏するときの各音符の物理的長さは、音符の正規の音長から意識的・無意識的に揺らぐため、楽譜投入・自動採譜などでは、意図された各音符の音価を正しく推定するのは容易ではない。本研究では、連続音声認識の定式化に倣って、演奏入力を音楽的に理解する原理を隠れマルコフモデル(M)によりモデル化し、意図された音符列を推定する。更に、同じ原理によりテンポ変化推定・小節線推定・拍子推定を提案する。評価実験により、一般に用いられている閾値処理より良好な結果が得られることを示す。This paper proposes the use of Hidden Markov Model (HMM) for restoration of a music note sequence from the music performance by human (reprenseted by a standard MIDI file). Successful experimental results are also presented. As the physical duration of a musical note in a human music performance fluctuates, intentionally or unintentionally, from the nominal length of the note, it is not easy to estimate the intended sequence of notes in autonmatic music transciption or music entry to computers. In the present paper, utilizing the formulation of continuous speech recognition, we use Hidden Markov Model (HMM) for modeling the process of the human understanding music performances and estimate the intended sequence of musical notes. We also apply the same principle to tempo estimation, bar line allocation, and beat estimation. Through experimental evaluation, we show the proposed method outperfoms existing methods.
著者
大井 奈美
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告電子化知的財産・社会基盤(EIP) (ISSN:09196072)
巻号頁・発行日
vol.2008, no.118, pp.73-80, 2008-11-22
参考文献数
12

俳句は伝統的に共同体の中で創作・解釈され、マスメディアとも結びつきながら発展してきた。本研究の目的は、共同体やマスメディアの影響のもとで行われる、俳句をめぐる認識過程(俳句の創作・解釈を指す)のしくみを明らかにすることである。本研究の理論的枠組みとして、システム論的構成主義を土台として認識過程を捉える基礎情報学を採用する。基礎情報学において、認識過程は「心的システム」の自律的な作動であると考えられ、その作動に共同体やマスメディアが影響を及ぼす事態は、「階層的自律システム」概念によって説明される。俳句の創作・解釈は、心的システム/社会システム/マスメディア・システムの関係から生まれる制約を利用しながら、複合的に行われているのである。Haiku has traditionally been composed and interpreted in communities and it has developed in relation to mass media. The aim of this study is to illuminate the cognition of Haiku, on which communities and mass media have a great influence. The cognition is defined here as the interactive process of the composition and interpretation of Haiku. The theoretical framework of this study is fundamental informatics which analyzes cognition from a systemic constructivist approach. Fundamental informatics understands cognition as mind system's autonomous operation and explains communities' and mass media's influence on cognition with the "hierarchical autonomous system" theory. The cognition of Haiku is a complex mechanism which utilizes the restriction emerging from the relation between mind system, social system and mass media system.
著者
翠 輝久 河原 達也
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告音声言語情報処理(SLP) (ISSN:09196072)
巻号頁・発行日
vol.2006, no.73, pp.69-74, 2006-07-08
参考文献数
5
被引用文献数
7

音声が主要なモダリティである環境において,自然言語で記述された文書を知識源として,インタラクティブにユーザに情報を提供する枠組みを提案する.これは,音声ガイドのように,システム側から一方的に情報を提示するのではなく,ユーザ・システム双方が対話の主導権をとりながら,対話的に情報検索・提示するものである.そのために,ユーザ主導の検索・質問応答(pull)モードと,システム主導の提示(push)モードを用意して,ユーザの状態に応じてこれらを切り替える.検索・質問応答モードでは,漠然とした検索要求のみではなく,特定の情報・事実を求める質問応答機能も実現する.また,提示モードにおいてシステム側から,ユーザにとって有用な話題を知識ベースの中から動的に選択して(質問形式を含めて)提示する.以上の枠組みを京都の観光案内システムとして実装し,京都大学博物館の企画展示において運用を行っている.We propose a speech-based interactive guidance system based on document retrieval and presentation. Unlike conventional audio guidance systems, we prepare two modes of information retrieval (pull mode) and presentations (push mode), and switch them according to the user's state. In the information retrieval mode, the user can ask questions about specific facts in the documents. In the presentation mode, the system actively provides information the user would be interested in. The system was implemented as a sightseeing guidance system and is running since June 2006 at the special exhibition of the Kyoto University Museum.
著者
笹川 喬介 和泉 順子
出版者
一般社団法人情報処理学会
雑誌
研究報告グループウェアとネットワークサービス(GN) (ISSN:09196072)
巻号頁・発行日
vol.2013, no.27, pp.1-6, 2013-09-04

報道などで誹謗中傷に関する事例が取り上げられる際、インターネットの持つ 「情報の拡散」 や 「匿名性」 といった特性によって誹謗中傷問題が不特定多数に拡散・増加した、悪質化した、と指摘される傾向がある。しかし、誹謗中傷はインターネット上だけに生じる問題ではなくインターネット以外の実空間に従来から存在している問題であり、この指摘は実空間での問題が顕在化または注目されていないための相対的な評価であるとも考えられる。つまり、指摘される誹謗中傷問題の増加や悪質化が実空間からインターネット上に転移した際に特に着目されただけと考えると、「インターネットが問題」 なのかは不明瞭である。本論ではインターネットとインターネット以外の実空間における誹謗中傷問題の違いについて、情報を流通するメディアの観点から検討を進め、絶対的な指標として誹謗中傷問題の発生件数を調査した。その結果、インターネットだけではなく実空間を含んだ誹謗中傷問題の発生件数自体には増加傾向は見られないことが分かった。その上で、誹謗中傷問題の悪質化に関して、インターネットの特性による変化と実空間への影響について考察する。Libel and slander problems on the Internet were often reported by mass media maliciously due to the abilities of the internet as the media, such as anonymity or diffusivity of the information. However, libel and slander also has been existed actions in the real society in the past. Thus, in this paper, we considered the influence of the behavior on the Internet against libel and slander problems through the study using the objective statistical data.
著者
入交 英雄 岩宮 眞一郎
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告音楽情報科学(MUS) (ISSN:09196072)
巻号頁・発行日
vol.2008, no.127, pp.29-34, 2008-12-12
参考文献数
3

オーケストラの録音において、ミキシング・エンジニアが最も好ましいと判断する残響音レベルを考察するため、 無響室録音のオーケストラ音源を用い電子残響を付加する実験を行った。調整法に準じた方法で残響音を最も好ましいレベルに調整し、そのときに含まれる残響音成分の割合を知るために建築音響で使用される直接音と間接音のエネルギ比の一種である C 値 (クラリティ・インデックス) という物理指標を導入した。その結果、残響音の最適ミキシングレベルにおいて、残響時間、及びモノ、ステレオ、クワドラフォニックという再生方法に関係なく C 値が一定となること、しかし楽曲の要因によって C 値が変動することが判った。The most preferable reverberation level for the recording of orchestra sounds by recording engineers was studied by a psycho acoustical experiment. The most preferable electric reverberation level to the orchestral sounds recorded in an anechoic chamber was measured by a method of adjustment. A physical index of C (Clarity Index) was used to measure the energy ratio between the direct sound and the indirect sound of the adjusted sounds. The obtained values of C from the most preferable reverberation were different among the music pieces. The reverberation time and the reproduction method (monophonic, stereophonic or quadraphonic) did not affect the C value.
著者
高田 敏弘 青柳 滋己 栗原 聡 光来 健一 清水 奨 廣津 登志夫 福田 健介 菅原 俊治
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告モバイルコンピューティングとユビキタス通信(MBL) (ISSN:09196072)
巻号頁・発行日
vol.2002, no.115, pp.169-176, 2002-11-28
参考文献数
18
被引用文献数
2

本論文は,入出力機構を持ち現実空間に遍在する実体を基本構成要素とするシステム・プラットフォーム,Organic Entia について述べる.本システムは,実空間中の物体に起因する情報を主な対象としたアプリケーションの構築と,その際の自律構成を第一の目標に置く。更に本システムを基盤として,実空間中の環境データと人とを結ぶHuman-Environment Interface を確立することを目指している.本稿の後半では,Organic Entia の実現の基盤となるロケーションモデル,cell-proximity model を紹介する.In this paper, we propose Organic Entia, an open architecture for real-space com-puting.It focuses on objects in real-space rather than information in digital (cyber) space. The key requirements for this system are ability to handle location infor-mation without pre-configuration and to implement interfaces between real-space objects and people. We also introduce a novel location model based on cells and proximity measure.
著者
吉府 研治 喜田弘司 垂水 浩幸
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告グループウェアとネットワークサービス(GN) (ISSN:09196072)
巻号頁・発行日
vol.1997, no.23, pp.13-18, 1997-03-06
被引用文献数
3

プロジェクト管理業務において、マルチエージェントにより進捗管理、日程調整を自動化するシステムDone?Do?Rhythm(ダンドリズム)の提案を行う。本システムは、プロジェクト定義、進捗率表示を行う業務計画指示エージェント(D?A)、あらかじめ定義したプロジェクトガントチャートに従って、タスクの割当依頼、進捗促進を促す催促、進捗遅れによる関連タスクの日程調整交渉を行うプロジェクト管理エージェント(RO?A)と、作業者自身のスケジュールを管理し、タスクに関する情報をPRO?Agとやりとりするスケジュール管理エージェント(oche)から構成される。本システムは、ORBを用いたエージェント通信基盤INA/LI上で実装した。This paper proposes Done-Do-Rhythm, which is a project management system based on a multi-agent system, to support progress management and project scheduling. This system is composed of three kinds of agents, PRO-Ag, VD-Ag, and Pochet. VD-Ag provides a GUI for business planning, which helps to define project schedules and presents worker's progress. PRO-Ag assigns tasks according to project definition, urges workers, and coordinates project schedules when a task is delayed. Pochet manages worker's schedules, communicates with PRO-Ag, and exchanges information about task. This system is implemented on our multi-agent platform called INA/LI.
著者
和田 勉
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告コンピュータと教育(CE) (ISSN:09196072)
巻号頁・発行日
vol.1998, no.102, pp.57-64, 1998-11-13
参考文献数
3

情報処理学会情報処理教育委員会・初等中等情報教育委員会での、高等学校に新設される「情報」教科のあるべき内容を示すことを目的としたモデル教科書執筆プロジェクトの一部として、情報B(3)「情報処理の定式化とデータ管理」の後半の執筆を行なった。ここでは章の前半の部分での陸上競技大会を例にした問題の発見・分析等を受けて、その一部を「各競技へのコース割り当て問題」として取り出し、これの解法を探る過程でアルゴリズムやプログラミング的な考え方へ導くことをねらった。本稿ではこの教科書案を紹介し、これの試験的利用を踏まえての、この種の教えかたの長所と欠点、適切な用い方に関する考えを述べる。As a part of an IPSJ comittee's project for writing a textbook on the subject "Information" which will be established as a new subject in senior high schools, a project for the sake of showing its ideal contents, I wrote the second half of the section Information B(3) "Formalization of information processing, and data management." Corresponding to the first half of the section, in which problem finding, problem analyzing, etc. are discussed along the example "track athletic events," this second half extracts a part of it, "allocation problem of tracks to each game," and seeks its solution, aiming to introduce students to the viewpoint of algorithms and programming. In this paper, I introcuce this draft, and discuss on the advantages and drawbacksof this kind of teaching method, and on its appropriate usage.
著者
和泉 憲明 幸島明男 車谷浩一 中島秀之
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告ユビキタスコンピューティングシステム(UBI) (ISSN:09196072)
巻号頁・発行日
vol.2003, no.115, pp.129-134, 2003-11-18
参考文献数
3
被引用文献数
2

本稿では,デジタル世界のエージェントにより,実世界のユーザを支援するためのシステムのアーキテクチャとユーザインタフェースを提案する.具体的には,エージェントのタスクを細粒度の機能体として環境に配置し,ユーザを介してWeb上の部分コンテンツを受け渡しすることにより,機能連携を実現する.そして,簡易な操作でWeb上の複数の部分コンテンツにかかるコピー&ペースト操作を行う仕組みとしてWebSLITを開発しを開発し,これをブラウザのプラグインとして実装した.これにより,次世代Webのコンセプトをユビキタス計算環境に具体化させことを目指す.In this paper, we propose the architecture and the user interface of a system for supporting the users in the real world by the agent in the digital world. In the concrete way, the agent's task is embedded in the environment as a functional object of fine-grained services. The user enables the service coordination by delivering the agent the partial contents on the Web. As an implementation, we have developed WebSLIT, which enables us to perform copy & paste action by simple operation, and that is embedded in the Web browser Mozilla as a plug-in module. Based on WebSLIT, we try to clarify the concept of the Web tomorrow in the Ubiquitous computing environment.
著者
浦谷則好 柴田 正啓 野□ 英男 相沢 輝昭
出版者
一般社団法人情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.28, no.7, pp.758-767, 1987-07-15
被引用文献数
17

放送分野では膨大な数の静止画が番組制作の重要な素材として活用されている.扱う画像は多種多様であり 新規の入力も頻繁なので検索データの更新は迅速かつ簡便なことが必要となる.そこで我々はキーワード検索を基本とした高速でコンパクトな静止画検索システムFORKS(Flexible Online Retrieval by Keyword Sequence)を試作した.キーワード検索には通常逆ファイルが用いられるが FORKSでは順ファイノレ形式のみによるデータ管理方式をとりながら データ構造の工夫と専用ハードウェアによって高速な検索 並びにデータ更新を可能にした放送用途を考えて約2 000のキーワードを選定し それらを70のグループに分け それぞれを概念の上下関係にしたがって木構造の形で体系化した.これによってシステムのキーワード管理を容易にし 同時に 利用者のキーワード指定を簡単にした.さらに蓄積時および検索時のガイド画面をネットワーク構造を用いて制御することによって再現率のよい自由な観点からの検索を実現した.最終的な画像を対話的に選択するのに便利な静止画と関連文字情報の連動表示や 想定されるエンドユーザによる試用実験の結果についても述べた.
著者
平野 真太郎 吉岡 由智 成凱 岩井原 瑞穂
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告データベースシステム(DBS) (ISSN:09196072)
巻号頁・発行日
vol.2004, no.71, pp.25-30, 2004-07-13
参考文献数
4

ウェブの大きな特徴として,ホットスポットとよばれる少数のウェブサイトに利用が大きく偏っていることが分かっている.膨大なウェブの効率的な活用のために我々は利用者の興味を反映したホットトピックを検出するトピックセンサー[1]を提案してきた.しかし,トピックごとの利用頻度を計算する際トピックの階層構造を考慮しておらず,ホットトピックの検出手法は単純である.本稿ではトピックセンサーの拡張としてHHH(Hierarchical Heavy Hitters) アルゴリズム[2]を用いてトピックの階層構造をより効果的に扱う方法を提案する.Yahoo!カテゴリからトピックの階層構造を抽出し,アクセス履歴における利用状況を考慮することによって時間軸を考慮したホットトピックの検出を行った.トピックの特徴,例えば朝によく利用されるトピック,夜間によく利用されるトピックなどの時間帯による利用状況が知ることができれば,インターネット広告においてより効果的な広告,高度な課金システムの作成が可能になると考えられる.実験では時間帯によるトピックの利用状況を解析し,時間帯によってトピックが3つのタイプに分かれることを確かめた.A salient feature of the web is its biased usage where a few hot spot sites account for most accesses. To detect the hot topics that reflect users' interest, we have developed a system, called topic sensor [1]. However, in that work, we did not take into account the hierarchical structure while counting the access frequencies of each topic. In this paper, we extend that work by allowing topic hierarchy and detect hot topics by Hierarchical Heavy Hitters (HHH) detection algorithms of [2]. We adopt topics Yahoo! directory, and determine their "hotness " by using access logs from shared proxy servers. We demonstrated that a special feature of the usage of topics, for example one topic is often accessed in the morning, the other is often accessed in the night, can improve current Internet Advertisement. We report the result of analysis by hours and ensured that Topics are enabled to divide into 3 types.
著者
小笠原 弘樹 柴田 義孝
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告マルチメディア通信と分散処理(DPS) (ISSN:09196072)
巻号頁・発行日
vol.2007, no.58, pp.97-102, 2007-06-07
参考文献数
8

近年、マルチユーザによるコミュニケーションや協調作業環境を実現する Collaborative Virtual Environment (CVE) に関する研究が多数行われている。その CVE において協調作業を行う場合の事前連絡やスケジュールの考慮といった同期作業における問題を解決するために、本研究では VR 空間そのものを連続的にアーカイブ化し、利用者の目的や都合に応じて過去の作業空間を再生したり、任意の時点の空間を再現できるシステムについて提案する。空間内の全てのオブジェクトをアーカイブの対象とすることで選択的、かつ柔軟な空間の再生や再現が可能となり、作業目標に向かって利用者同士が効率的かつ非同期にも協調作業が行える CVE 支援システムを構築できる。In this paper, we introduce a new idea of revision tree which can provide a flexible mechanism to store the current cllaborative virtual environments (CVE) space, replay the past recorded CVE space and replace the current CVE by other past CVE space. The revision tree with hierarchical 3D structure is visualized in space and operated by users to refer the past space information using replay, revert, clone and merge functions. Those functions provide effective and flexible cllaborative work in CVE to support communication among many users over computer network. Using this method, the users as group members can progress cllaborative work and confirm the past CVE without prior communication even if some of the group members do not participate in the space. Thus, asynchronous collaborative work can be attained and applied to efficiently more creative CVE applications.
著者
日景 奈津子 カールハウザー 村山 優子
出版者
一般社団法人情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.48, no.9, pp.3193-3203, 2007-09-15
参考文献数
32
被引用文献数
16

本研究では,情報セキュリティ技術に対する利用者の安心感について,その構造を明確にする.安心感の要因を把握するための調査実験を行い,探索的因子分析を実施した.その結果,セキュリティ技術の安全性に関わる因子,システムの操作性や使いやすさに関わる因子等,6 因子を抽出した.さらにそれらの因子が,外的要因と内的要因の2 つのグループに大別され,安心感を構成しているという仮説を立て,共分散構造分析により検証した.本論文では,調査実験および分析結果とともに安心感の構造について報告する.In this research, we identify the structure of Anshin 窶髏 the sense of security. We conducted the user survey and came up with six major factors by the explanatory factor analysis (EFA). With the results, we had a hypothesis that those six factors could be categorized in two groups; one is environmental-based and the other is personal-based. The two groups would consist Anshin. We verify our hypothesis by using structural equation modeling (SEM). This paper reports on our survey and analysis.
著者
村瀬 亨 塚本 昌彦 西尾 章治郎
出版者
一般社団法人情報処理学会
雑誌
情報処理学会論文誌 (ISSN:18827764)
巻号頁・発行日
vol.43, no.12, pp.3785-3793, 2002-12-15
被引用文献数
4

無線通信による移動体計算環境におけるデータ統合を実現するうえで,移動や省電源切断動作などをイベントとしてとらえ,アクティブデータベースにおけるECAルールを適用することが有効であることをこれまでに筆者らは示してきた.この新しい環境では,搭載される複数システム間の通信機能も強化して計算機間の連携動作も可能にしている.作成されたECAルールには複数システム間で無限ループに陥らずに停止するかどうかの安全性判定が必要である.しかし,ECAルールを移動体環境に適用する場合は,ホスト計算機の移動によって実行シーケンスが変動するため,その実行シーケンスが停止するかどうかの判定が困薙である.本論文では,このようなシステム動作の安全性について,特にルールの停止性について,移動による影響を含めて判定するための方法について考察する.その中で,イベント発生ホストとトリガーループの関係を σ マージグラフと呼ぶグラフとして表現することで効率良く安全性が判定できることを示す.For realizing the data integration in mobile computing environments, we showed that the notion of ECA rule in active databases is effective to describe events occurring in these environments such as moving of computers, disconnect operation for energy-saving, and so on. Though the ECA rule is useful, it has inevitable difficulty for guaranteeing that the rules can work without falling into infinite loop among hosts. Furthermore, if the system is applied for mobile computing environments, the complexity for predicting termination will be increased due to the facts that (1) trigger-chaining spreads over multiple computer hosts and (2) the network topology changes all the time because of the host's mobility. In this paper, we show analysis methods for the safety of our assuming active database. Especially, a method how to check the termination of ECA rules is proposed, where we introduce sigma-merge graph indicating the relationship among system events and trigger-chaining.
著者
秋山 卓見 泉 直子 萩原 茂樹 米崎 直樹
出版者
一般社団法人情報処理学会
雑誌
情報処理学会研究報告バイオ情報学(BIO) (ISSN:09196072)
巻号頁・発行日
vol.2007, no.21, pp.71-78, 2007-03-05
参考文献数
6

近年の分子生物学の進展の中において,遺伝子ノックダウン実験による遺伝子調節ネットワークの解明が進んでいる.本研究では,それらを計算論的モデルを用いて捉えなおし,形式手法を反映したかたちで解析したすなわち,化学反応の活性/抑制関係を表現した,資源の取り合いを基本概念とする意味論を持つ形式オントロジーの公理を満たす,遺伝子調節量を表す数値間の演算の代数的制約と,そのインスタンスとなる関数を提案した.また,遺伝子調節ネットワークを解析した実験結果に適用し,ダブルノックダウン実験による遺伝子調節値を推定する計算式を提案した.The gene regulatory network obtained from the gene knockdown experiment is clarified in the progress of the molecular biology. In this paper, we capture those results by using the computational model, and analyze by a formal method, i.e. we proposed a numeric model of gene regulation reflecting our formal ontology that conceptualized promoting/inhibiting relation of the chemical reactions. Moreover, we formally defined requirements for gene regulation and functions which satisfy this requirements. Finally, we estimated the numerical value of the gene regulation by the double-knockdown experiment with this model.
著者
石野力 米澤朋子 中祐介 吉田侑矢
出版者
一般社団法人情報処理学会
雑誌
研究報告音楽情報科学(MUS)
巻号頁・発行日
vol.2013, no.34, pp.1-6, 2013-08-24

本稿では参加者同士が交代で短い演奏情報をシーケンスに投入するネットセッションシステムを提案する.演奏知識や技術を持たなくても単純な音楽情報を交換することでメロディを連鎖させることが可能なシステムである.今回は 4 ステップのシーケンサを用いる手法と,4 本の指に曲げセンサを装着した手袋による手法を紹介する.従来のセッションとの違いは同時性である.本システムでは,非同期でありつつ短い音楽フレーズを投げ合い,つなげた連結フレーズをループ再生し続けることで,お互いの音を聞き,掛け合いのようにして楽しむことができる.これにより,簡単に相手と協調演奏ができる新たな音楽コミュニケーションを成立させることを狙う.
著者
一色 博
出版者
一般社団法人情報処理学会
雑誌
情報処理 (ISSN:04478053)
巻号頁・発行日
vol.13, no.7, pp.486-494, 1972-07-15

The Computer was first used for the Olympic Games at Squaw Valley, in 1960, to analyze and tabulate athletic records. This was only a few years since computers for commercial use appeared. Today, it can be said that the administration of the Olympic Games embraces one field of Computer utility, increasing its functions with each Game. At the Eleventh Olympic Winter Games at Sapporo in Feb. 1972, Nippon Telegraph and Telephone Public Corporation, while providing the telecommunication facilities, furnished all athletic record processing services. This paper will given a brief view of the data communication system for the Games, the description being particulary focused on newly developedequipment for the Jamp events.