著者

河合 栄治 砂原 秀樹 湊 小太郎

出版者

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

雑誌

情報処理学会研究報告. OS,[システムソフトウェアとオペレーティング・システム] (ISSN:09196072)

巻号頁・発行日

vol.77, pp.25-30, 1998-02-26

著者

藤原 丈史 中野 純司

雑誌

日本統計学会講演報告集

巻号頁・発行日

vol.71, pp.168-169, 2003-09-01

著者

二村 良彦

出版者

一般社団法人日本ソフトウェア科学会

雑誌

コンピュータソフトウェア (ISSN:02896540)

巻号頁・発行日

vol.21, no.5, pp.343-351, 2004-09-28

---

インタープリタを用いて形式的に記述されたプログラミング言語のセマンティクスと現実のコンパイラとの関係およびインタープリタからコンパイラを自動的に作成する方法について述べる.この方法は計算過程の部分評価の一種である.この方法を応用してできるコンパイラ・コンパイラと既存のコンパイラ・コンパイラの相違は,プログラミング言語のセマンティクスを記述するさいに,既存のものが翻訳過程を記述しなければならないのに対して,本方式によるものは評価手順を記述すればよいことである.

著者

内山 雄司 緒方 大介 脇田 建

出版者

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

雑誌

情報処理学会論文誌プログラミング(PRO) (ISSN:18827802)

巻号頁・発行日

vol.46, no.6, pp.1-17, 2005-04-15

被引用文献数

1

---

著者らが開発したバイトコードインタプリタ生成系であるVirtualMachineBuilder(VMB)について発表する.VMBは,仮想機械の仕様記述を入力として,仮想機械の中核をなすインタプリタの実装を生成するシステムである.VMBに与える仕様記述は,仮想機械を構成するレジスタやスタックの定義と,仮想機械で実行される各バイトコード命令の意味の定義からなる.バイトコード命令の意味は,仮想機械の状態遷移の形で表現される.以前のVMBには,データ型の宣言やオブジェクト間の参照の表現力に不十分な点があり,バイトコード命令の意味を記述する際に特別な工夫を必要とする場合があった.本研究では,仕様記述言語を再設計して,より自然な形で仮想機械の仕様を記述できるように工夫した.VMBを適用した処理系開発の事例として,簡単な手続き型言語に対するバイトコード言語を設計し,その処理系を実装した.さらに,VMBを利用してObjectiveCamlのインタプリタを実装し,仕様記述言語の表現力と生成されるインタプリタの性能という2つの観点からVMBの評価を行った.表現力については,146命令のうち133命令を自然な形で記述できた.インタプリタの性能については,ベンチマークテストの結果,手書きのインタプリタで実行した場合の93%の性能が得られた.The article proposes Virtual Machine Builder (VMB) which is a bytecode interpreter generator developed by authors group. VMB takes a specification of a virtual machine and generates implementation of the interpreter which compose a main part of the virtual machine. A specification of a virtual machine comprises a definition of a virtual hardware composed from registers and stacks, and a definition of the behavior of each virtual machine instruction. The behavior of an instruction is specified in terms of a machine state transition system. In the previous version of VMB, there were cases that we needed some tricks to specify the behavior of an instruction since the specification language lacked the way to declare data types of objects and to express references between objects. We redesigned the language so one could specify instructions more naturally. The article also shows an experience in developing tiny imperative language system using VMB. Also the expressiveness of the specification language and the perormance of the generated interpreter are evaluated by the use of a virtual machine of Objective Caml 3.08 generated by VMB. On the former point, 133 of 146 bytecode instructions can be defined naturally. On the latter point, a benchmark test shows that the efficiency of the generated virtual machine is 93% of a carefully implemented human-crafted one.

著者

近江谷 康人 天野 英晴

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会論文誌. D, 情報・システム (ISSN:18804535)

巻号頁・発行日

vol.91, no.2, pp.413-434, 2008-02-01

被引用文献数

1

---

市販の高性能マイクロプロセッサを用いてバイナリー互換を実現するアーキテクチャエミュレーションは,コンピュータシステムの開発効率の向上に有効な手法である.中でもC言語実装によるインタプリタ方式は,動作原理が単純で,ホストアーキテクチャ依存度が低いなどの特徴をもち,開発費,設計品質,保守性の点で有利である。本論文は,C言語実装によるインタプリタの速度性能を,5種類のレガシー命令セット(Simplescalar PISAとその変形版, PowerPC, M32R, SH4),2種類のRISCホスト,3〜5種類の実装方式による計45種類のエミュレータ試作により評価した.この結果,高性能なマイクロプロセッサを用いC言語でインタプリタを実装すると,(1)インタプリタの共通処理部(コアループ)の処理時間の比率が70〜80%と高くコアループの試作で速度性能の目安が付くこと,(2)C言語に適合したコアループの実装(改良function方式)によりエミュレーション性能が1.3〜2.2倍までに性能向上し,アセンブリ言語記述の80%程度の性能が実現できること,が明らかになった.

著者

村山 利幸 杉本 伸夫 松井 一郎

出版者

東京海洋大学

雑誌

東京商船大学研究報告. 自然科学 (ISSN:04934474)

巻号頁・発行日

vol.51, pp.95-98, 2000-12

著者

水上 千之

出版者

広島大学

雑誌

廣島法學 (ISSN:03865010)

巻号頁・発行日

vol.11, no.1, pp.1-36, 1987-07

著者

児玉 哲彦 清水 友理 安村 通晃

出版者

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

雑誌

情報処理学会研究報告. HI,ヒューマンインタフェース研究会報告 (ISSN:09196072)

巻号頁・発行日

vol.122, pp.29-33, 2007-02-09

---

近年東京都秋葉原の電気街において再開発が進み、来訪者の行動において、これまでの電気街と線路を挟んだ再開発地域との間の分断等の困難が生じていることが明らかとなった。本研究では、電気街についての土地勘を共有し、街の多様な利用を促進するため、携帯電話とQRコードを用いて来訪者の訪れた店舗の履歴を記録し、利用者間の交換を可能にする街のソーシャルブックマークシステム「ここHORE」システムの開発と運用について報告する。ユーザビリティ評価実験の結果、スポットのマーキングと検索については概ね問題なく利用できるものの、地図情報の表示については改善が必要なことが明らかとなった。

著者

佐藤 尚 近藤 邦雄 島田 静雄

雑誌

全国大会講演論文集

巻号頁・発行日

vol.49, pp.97-98, 1994-09-20

---

飯高茂は1980年代後半より、Prologの持つバックトラッキングとパターンマッチの機能を利用して、数学の世界を組み立てることを行ってきた。その中で群論電卓の作成が大きなテーマとして取り上げられている。群論計算システムとして、CAYLEなどの大規模なシステムがよく知られている。飯高の群論電卓は、これらのシステムとは異なり、群論電卓の作成を通して、群論を理解することに力点がある。このような小規模なシステムでも新しい定理を発見するための具体例の計算にも使えることができる。数学では、「ある構造をもつ数学的対象の間に、その構造を保つ写像を考えつつ議論を進めるのが基本である」と言われている。飯高の群論電卓では、同時に複数の群を扱うことが出来ないので、この基本に沿った計算を実行することが出来ない。本報告では、Prologにオブジェクト指向風の拡張を施し、それを利用して複数の群を扱うことの出来る群論電卓の概要を報告する。

出版者

東レ経営研究所

巻号頁・発行日

1998

著者

青木 啓至 武井 惠雄

出版者

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

雑誌

情報処理学会研究報告コンピュータと教育(CE) (ISSN:09196072)

巻号頁・発行日

vol.2002, no.17, pp.51-58, 2002-02-22

---

Web上の学習教材で学ぶ学習者のクリックストリームを取得し,それを解析することによって,学習者の学習軌跡をビジュアルに表示するシステムを開発した.これによって,学習者の学習軌跡を容易に把握することが出来,また,多数の学習軌跡を調べることによって,教材の構成自体の適否を吟味することが可能となる.本システムは,学習者のマウス操作の記録の取得だけでデータを得ることが出来るので,学習者に負担を掛けないし,解析結果をビジュアルに表示するので,教授者や教材設計者が学習の様子を直感的に把握することが出来る.We have developed a visual study-locus analyzer based on yielding the learner's clickstreams over the web-based learning materials. By this system, one may easily track the learner's study-loci, and also closely examine the propriety of the composition of the learning materials. Since this analyzer system acquires the learner's data merely through one's mouse clicking, one's load is little. And this system represents the analyzed results visually, so the instructor or designer will intuitively comprehend the learner's situation.

著者

和田 一郎 鈴木 一元 黒坂 五馬

出版者

一般社団法人日本建築学会

雑誌

日本建築学会論文報告集 (ISSN:03871185)

巻号頁・発行日

no.115, pp.31-37, 1965-09-30

---

This research was carried out one of the information-act to make a dicision of shop for the project of shopping facilities. For this, research was carried out to clear out to clear up the relation between the selection of shop-design and personality. Dec. 1964, The field work was operated by the group interview to the students of Tokyo Dress-making School. The progress of research was devided into two stages, one was to try Yatabe-Kibler, personal inventry, another was Siheffe's Sensory test by means of color fiem that had photographed the shopfacade (Coffee-Shop) Analisis 1st stage was to compute the standard-deviation-σ-of Yatabe-Kibler test, and in this result, we decided to make two groups ; over+σ-we called it "C" group (Circulate type group), under-σ-called it "S" group (Shizopherenia type group) 2nd stage was to check the statiscal significant between C group (Sheffe's test) and S's by means of "F test". As a result, about, the selection of a facade design we can't see auy relation. The fact made clear that between the selection mechanism of facade design and personality have nothing to do.

著者

池田 武弘 岡島 一郎 梅田 成視 山尾 泰

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. IN, 情報ネットワーク (ISSN:09135685)

巻号頁・発行日

vol.101, no.185, pp.13-18, 2001-07-09

---

モバイル環境から高速なインターネットアクセスを可能とし、移動ネットワークのサポートも含めたより高度なシステムの構築を可能とするIPベース移動通信システムが注目されている。しかし、移動通信システムでは、無線リンクの有する高い伝送誤りのため、インターネットアクセスに求められる小さなEnd-to-End伝送遅延の実現は困難である。そこで、本稿ではIPベース移動通信システムにおいて、無線チャネルの有効利用を実現しつつ、無線区間における伝送遅延の低減を目的とした仮想基地局構成法を提案する。提案法では、複数の基地局を仮想的なひとつの基地局(Virtual Base Station:VBS)とみなし、ダイバーシチ受信を行う。提案法を計算機シミュレーションにより評価し、その有効性を検証する。

著者

富田高慶 編

出版者

富田高慶

巻号頁・発行日

vol.巻1−2, 1883

著者

江田 英雄

出版者

一般社団法人電子情報通信学会

雑誌

電子情報通信学会技術研究報告. HIP, ヒューマン情報処理 (ISSN:13426893)

巻号頁・発行日

vol.106, no.328, pp.63-66, 2006-10-19

被引用文献数

5

---

近赤外分光法(NIRS)に基づく装置の原理を、分光光度計を設計する立場から解説した。脳機能研究においてNIRSによるイメージング装置が普及しているが、NIRSの原理であるmodified Lambert-Beer則そのものがシステムの限界となっている状況を説明した。

著者

安川 毅 藤井 智子

出版者

日本臨床麻酔学会

雑誌

日本臨床麻酔学会誌 (ISSN:02854945)

巻号頁・発行日

vol.25, no.1, pp.42-50, 2005 (Released:2005-03-25)

参考文献数

17

被引用文献数

2 2

---

手術中や集中治療領域において脳虚血の監視は近年, ますます重要となっている. 頸動脈内膜剥離術や上行・弓部大動脈人工血管置換術は, 術中に一時的に脳血流を遮断あるいは脳灌流を行うので, 脳虚血を監視するために術中モニタリングの工夫が試みられている. そのモニタリングの一つである近赤外分光法 (NIRS) は手技的に計測が簡単であり, 内頸動脈領域など局所脳動脈領域のモニタリングとして有用で, 他のモニターとの組み合わせにより信頼性を増す. しかし椎骨動脈領域を含む全脳のモニタリングには限界があり, 今後の検討が必要である.

著者

泰羅 雅登

出版者

日本顎口腔機能学会

雑誌

日本顎口腔機能学会雑誌 (ISSN:13409085)

巻号頁・発行日

vol.9, no.2, pp.153-165, 2003-04-25

被引用文献数

2

---

脳の高次機能に関わる神経メカニズムを明らかにしようとする研究者にとって,人間の脳活動を実際に目で見ることは夢であった.1980年に北欧のRolandのグループが局所脳血涙を計測して人間の脳活動を可視化し,その後のPETでの研究に発展したが,放射性同位元素を扱うため研究は一部のグループに限られていた.しかし,90年代にMRIによる人間の脳機能イメージング(fMRI)が開発され研究が大きく進展した.fMRIによるイメージングの研究は比較的手軽である反面,考慮しなければいけない点も多い.本稿では,fMRIの手法について簡単に述べたあと,我々の研究室でのパイロットスタディのデータをもとに,歯科領域への応用について考察する.

著者

中村 英史 水田 秀行

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.45, no.9, pp.950-955, 2004-09-15

被引用文献数

4

---

企業においてトップダウンで戦略的に構築された組織構造については、階層的な木構造やマトリクス組織等おおまかな分類はあっても定量的な評価はされていない。本稿では、企業内のメールトラフィックログから抽出し統計的に処理された組織におけるコミュニケーションのデータから、グラフ・ネットワーク理論における評価指標を用いて、企業の組織構造が、企業活動そのものを円滑に実施させているかどうかを評価する.

著者

西村 憲

出版者

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

雑誌

情報処理学会研究報告音楽情報科学(MUS) (ISSN:09196072)

巻号頁・発行日

vol.2007, no.15, pp.51-56, 2007-02-23

---

本稿では、著者の提案する SAMUEL という並行スクリプト言語について、その概要を述べる。SAMUEL は、音楽データ入力、アルゴリズミック作曲、音楽情報処理における研究、およびプログラミング教育のために設計されたオブジェクト指向プログラミング言語である。SAMUEL は、並行処理の簡便な記述や、表情情報を伴った音符の簡潔な表記などを特徴とする。開発した SAMUEL インタプリタは、リアルタイム・スケジューラを内臓し、時間に従った MIDI シンセサイザ等の制御やインタラクティブ処理を行う。This paper introduces a concurrent scripting language named SAMUEL proposed by the author. SAMUEL is an object-oriented programming language designed for music data entry, algorithmic composition, research on music information processing, and programming education. It features concise description of concurrent processing and brief syntax for describing notes and rests with expressive information. The SAMUEL interpreter developed by the author, incorporating a real-time scheduler, is capable of timed control of MIDI synthesizers and interactive processing.

著者

安田 雪 安田 雪

出版者

International Christian University (国際基督教大学)

雑誌

社会科学ジャ-ナル (ISSN:04542134)

巻号頁・発行日

vol.30, no.2, pp.p91-105, 1991-11