著者

福岡 正信

出版者

農林出版社

雑誌

週刊農林

巻号頁・発行日

no.1802, pp.4-6, 2001-10-25

著者

加藤 一郎

出版者

一般社団法人日本機械学会

雑誌

日本機械学會誌 (ISSN:00214728)

巻号頁・発行日

vol.67, no.550, pp.1710-1723, 1964-11

著者

藤原宏志

雑誌

考古学と自然科学

巻号頁・発行日

vol.9, pp.15-29, 1976

被引用文献数

3

著者

青木 芳夫

出版者

奈良大学総合研究所

雑誌

総合研究所所報 (ISSN:09192999)

巻号頁・発行日

no.11, pp.87-107, 2003

著者

赤井 敏夫

出版者

桃山学院大学

雑誌

桃山学院大学人文科学研究 (ISSN:02862700)

巻号頁・発行日

vol.20, no.3, pp.49-69, 1985-03-30

著者

福田 惠子

出版者

拓殖大学

雑誌

国際開発学研究

巻号頁・発行日

vol.5, no.2, pp.49-62, 2006-03-31

著者

竹之内 安巳

出版者

鹿児島国際大学

雑誌

鹿兒島経大論集 (ISSN:02880741)

巻号頁・発行日

vol.10, no.1, pp.一九-四五, 1969-07-01

著者

竹之内 安巳

出版者

鹿児島国際大学

雑誌

鹿兒島経大論集 (ISSN:02880741)

巻号頁・発行日

vol.9, no.3, pp.二九九-三二二, 1969-02-20

著者

竹之内 安巳

出版者

鹿児島国際大学

雑誌

鹿兒島経大論集 (ISSN:02880741)

巻号頁・発行日

vol.10, no.2, pp.二八九-三一六, 1969-10-20

著者

鹿野 和彦 石塚 治 大口 健志 狐崎 長琅

出版者

特定非営利活動法人日本火山学会

雑誌

日本火山学会講演予稿集

巻号頁・発行日

vol.2008, 2008-10-10

著者

須藤 茂

出版者

特定非営利活動法人日本火山学会

雑誌

日本火山学会講演予稿集

巻号頁・発行日

vol.1987, no.2, 1987-10-05

巻号頁・発行日

vol.追加六 七,

著者

金藤栄孝 二木 厚吉

出版者

情報処理学会

雑誌

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

巻号頁・発行日

vol.45, no.9, pp.2124-2137, 2004-09-15

---

Dijkstraのgoto文有害説とそれに引き続く構造的プログラミングの提唱以降,goto文の使用に関する問題は永く議論された.goto文の使用法に関し理論的裏付けを持つ研究としては,逐次的プログラムでの任意の制御フローは順次接続・条件分岐・反復の3基本構造のみで表現可能であるという結果に基づくMillsらのgoto文排斥論以外は皆無である.Dijkstra本来の正しさを示しやすいプログラムを書くための構造化という立場?つまりプログラム検証論の立場?からのgoto文使用の是非は考察されていない.本論文では検証手段としてのHoare論理に基づき有限状態機械モデルに基づくプログラミングでのgoto文の使用を検討する.その結果,状態をラベルで表し状態遷移をgoto文での飛び越しで行うプログラミングスタイルが,状態を表す変数を追加しgoto文を除いたプログラミングスタイルと比べ,Hoare論理による検証での表明が簡単で自然な形となり機械的検証の時間的コストも少ない.ゆえにプログラムの正しさの示しやすさという観点からは有限状態機械モデルに基づくプログラミングでの状態変数導入によるgoto文除去は有害でありgoto文を用いたスタイルの方が望ましいことを示す.There have been a vast amount of debates on the issue on the use of goto statements initiated by the famous Dijkstra's Letter to the Editor of CACM and his proposal of "Structured Programming". Except for the goto-less programming style by Mills based on the fact that any control flows of sequential programs can be expressed by the sequential composition, the conditional (if-then-else) and the indefinite loop (while), there have not been, however, any scientific accounts on this issue from the Dijkstra's own viewpoint of verifiability of programs. In this work, we reconsider this issue from the viewpoint of Hoare Logic, the most standard framework for correctness-proving, and we see that the use of goto's for expressing state transitions in programs designed with the finite state machine modelling can be justified from the Hoare Logic viewpoint by showing the fact that constructing the proof-outline of a program using goto's for this purpose is easier than constructing the proof-outline of a Mills-style program without goto by introducing a new variable.

著者

林 達也

出版者

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

雑誌

情報処理 (ISSN:04478053)

巻号頁・発行日

vol.14, no.9, pp.652-660, 1973-09-15

---

Asystem design language, DEAPLAN, is described. This language is designed so as to be suitable for use instructured top-down design of the whole operating systems. Some major features that seem to be necessary in such design languages are as follows:(1) ability to define and use any module and/or module type whose logical level is higher than that of a procedure appearing in conventional programming languages, (2) ability to define and use any module whose internal structure is undefined, (3) ability to define and use any data and/or data type whose internal structure is undefined, (4) ability to provide appropriate means for highly efficient structured design, (5) ability to describe storage allocation and interface between modules, Using such a language, it is hoped that we can take a step toward the computer aided design of operating systems.

著者

呉 恵京

出版者

法政大学

雑誌

大学院紀要 (ISSN:03872610)

巻号頁・発行日

vol.56, pp.272-273, 2006-03-31

著者

浅見 徹 江崎 浩 関谷 勇司 斎藤 賢爾 山下 達也 岩浪 剛太

出版者

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

雑誌

電子情報通信学会誌 = The journal of the Institute of Electronics, Information and Communication Engineers (ISSN:09135693)

巻号頁・発行日

vol.95, no.9, pp.809-814, 2012-09-01

参考文献数

5

---

本稿は平成23年12月に解散したネットワーク高度利用推進協議会の活動報告である.平成19年8月, Winnyに代表されるP2P (Peer to Peer)技術による著作権侵害や情報漏えいによる通信業界の混乱と,それによる商用P2Pサービスの立ち遅れが目立った日本の事情を鑑み, P2Pネットワーク実験協議会が設立され,キャッシュ技術全般に対象を拡大したネットワーク高度利用推進協議会に発展し,後述するヒントサーバ実験や標準化活動, P2Pガイドラインの制定,優良P2Pの認定等普及啓発活動を行った.第171回通常国会で著作権法が一部改正され,送信を効率的に行うために必要と認められる限度において著作権侵害にはならないことが明確になった.

著者

曽野綾子著

出版者

祥伝社

巻号頁・発行日

2002

著者

池澤夏樹著

出版者

新潮社

巻号頁・発行日

2009

著者

昌住 [著]

巻号頁・発行日

1000

著者

小島 道裕

出版者

国立歴史民俗博物館

雑誌

国立歴史民俗博物館研究報告 = Bulletin of the National Museum of Japanese History (ISSN:02867400)

巻号頁・発行日

vol.104, pp.169-183, 2003-03-31

---

飛騨の国人領主江馬氏は、庭園を伴う館で知られている。まず文献史料で考察すると、南北朝初期から将軍に近侍し、遵行指令を受け、中央と密接な関係を持っていたが、一五世紀後半には自立した地位を持つことが知られ、一六世紀には荘園関係の史料には見えなくなる。一方遺構は、一四世紀末~一五世紀前半に、「花の御所」を模倣した館が営まれるが、一五世紀後半には山城などに機能が分散し、一六世紀には館としての機能が廃絶する。こうした現象は他の国人領主の館にも見られることが知られてきており、国人領主が全国的な体系の中で存在していた一五世紀前半から、領域的な領主として自立する一五世紀後半以降への変化と言える。この変化の中で衰退した国人も多く、逆に一四世紀中葉~一五世紀前半には中央と地方の国人の間の安定した関係があったと言え、これを「室町期荘園制」の一面と見なすことができる。