著者

磯村 健太郎 磯村 健太郎

出版者

「宗教と社会」学会

雑誌

宗教と社会 (ISSN:13424726)

巻号頁・発行日

no.18, pp.66-68, 2012-06-16

著者

Braker Ulrich 阪口 修平 鈴木 直志

出版者

中央大学文学部

雑誌

中央大学文学部紀要 (ISSN:05296803)

巻号頁・発行日

no.159, pp.p145-213, 1995-03

著者

小林 良岳 佐藤 友隆 唐野 雅樹 結城 理憲 前川 守

出版者

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

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-情報処理 (ISSN:09151915)

巻号頁・発行日

vol.84, no.6, pp.605-616, 2001-06-01

被引用文献数

5

---

連続して使用しているシステムでは, その上で実行中のプログラムに変更を行うことは困難である.しかし, 性能の向上やバグの除去による信頼性の向上を考えたとき, ソフトウェアに対する変更は必要不可欠である.実行中のプログラムの一部を動的に差し替えたり拡張するには, 実行状態及び内部状態を監視する手段が必要であり, 更に, 変更時には新しいモジュールにその状態を反映してやる必要がある.そこで, 我々は状態再現を伴ったソフトウェア部品の変更が可能なOS「彩(Aya)」の実装を行っている.我々の手法では, 状態監視のためにプログラマがソースコードに変更を加える必要はなく, Portalと呼ばれる状況監視のためのコードをコンパイル時に自動生成し, それをOS側で管理する.これにより, プログラム作成時のミスを軽減することができると考えられる.また, 状態の監視は差替え要求時にのみ動的に行うため運用時のオーバヘッドを削減できる.本論文では, Ayaで実現されている動的再構成のための要素について述べる.また, 評価を行いPortal組込みによるオーバヘッドは, 実用に耐え得る範囲であることを示す.

著者

三宅 雄彦

出版者

早稲田大学法学会

雑誌

早稲田法学 (ISSN:03890546)

巻号頁・発行日

vol.77, no.1, pp.285-318, 2001-08-20

出版者

東京外国語学校々友会

巻号頁・発行日

vol.第7回, 1908

著者

本地正輝 著

出版者

豊江堂

巻号頁・発行日

1931

著者

松田 有紀子

出版者

立命館大学生存学研究センター

雑誌

生存学研究センター報告

巻号頁・発行日

vol.17, pp.307-332, 2012-03

著者

柴原 一友 但馬 康宏 小谷 善行

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.47, no.12, pp.3328-3342, 2006-12-15

---

本論文では将棋を解く研究への布石として,引き分けを効率的に証明するためのGHI 問題回避法を提案し,3x4 の将棋の解を求めた.オセロや囲碁に比べ,将棋は小さな盤面に対する解を求める研究は少ない.将棋は局面がループするため,引き分けを含めた解を得ることが困難である.そこで,詰将棋で効果をあげたPDS 探索を用いて,効率的に引き分けを証明する方法を提案する.実験の結果,3x4 将棋のすべての解を得た.

著者

鈴木尊紘

出版者

国立国会図書館

雑誌

カレントアウェアネス (ISSN:13487450)

巻号頁・発行日

no.292, 2007-06-20

著者

安田浩之

出版者

国立国会図書館

雑誌

カレントアウェアネス (ISSN:13487450)

巻号頁・発行日

no.280, 2004-06-20

出版者

海洋研究開発機構広報課

巻号頁・発行日

2010-01

出版者

京都商業会議所

巻号頁・発行日

1900

著者

亀井 輝一郎

出版者

福岡教育大学

雑誌

福岡教育大学紀要 第2分冊 社会科編 (ISSN:02863227)

巻号頁・発行日

no.39, pp.p1-22, 1990

著者

山崎 先也 岡本 啓 田口 貞義 野原 隆司 広中 ミユキ

出版者

日本体力医学会

雑誌

体力科學 (ISSN:0039906X)

巻号頁・発行日

vol.46, no.3, 1997-06-01

著者

東京都教育委員会企画 読売映画社制作

出版者

読売映画社

巻号頁・発行日

0000

著者

要 真理子 カナメ マリコ Kaname Mariko

出版者

大阪大学大学院美学研究室

雑誌

美学研究 (ISSN:13461095)

巻号頁・発行日

vol.1, pp.27-45, 2001

---

At the turn of the last century at Cambidge in England. several movements occured against tradition and involved many kinds of fields. like: art. science. politics and economics. It may well be that Bertrand Russell's logical theory and Roger Fry's art theory are some good examples among them. At a glance. the streams of Logic and art criticism seem to keep running separately. acutually there has been a theoretical connection between Russell. and Fry. Both these theories have the analytic method and teir central idea is 'form'. For Russell as well as Fry. 'form' is not a meta· physical idea. but a real object described as such. exactly to say. it is the way the constituentsare put together. Further more this 'form' is different from Clive Bell's idea which usually tends to be considered as equal to Fry's under the Bloomsbury Group.In this essay. I suggest that the originality of Fry's art theory can be derived from an analogy with Russell's Logic. and his formalism must be distinguished from the traditional idealism.

著者

高橋 孝代

出版者

こども教育宝仙大学

雑誌

こども教育宝仙大学紀要 (ISSN:18847617)

巻号頁・発行日

no.6, pp.43-49, 2015-03

著者

山本 陽子

出版者

明星大学日野校

雑誌

明星大学研究紀要. 人文学部・日本文化学科 (ISSN:21862818)

巻号頁・発行日

no.23, pp.285-299, 2015

著者

今泉 容子

出版者

筑波大学人文社会科学研究科国際日本研究専攻

雑誌

国際日本研究 = International and advanced Japanese studies (ISSN:21860564)

巻号頁・発行日

vol.7, pp.47-62, 2015-03

著者

道合 裕基

出版者

京都大学大学院人間・環境学研究科思想文化論講座文芸表象論分野

雑誌

文芸表象論集 = Literary Arts and Representation (ISSN:21880239)

巻号頁・発行日

vol.2, pp.67-78, 2015-03-31