著者
豊﨑 博光
出版者
明治学院大学国際平和研究所
雑誌
PRIME = プライム (ISSN:13404245)
巻号頁・発行日
no.24, pp.79-87, 2006-10

論考
著者
茂木 正人 真壁 竜介 高尾 信太郎
出版者
低温科学第76巻編集委員会
雑誌
低温科学 (ISSN:18807593)
巻号頁・発行日
vol.76, pp.71-93, 2018-03-31

本稿では,南大洋における生態系研究の現状と課題を整理した.南大洋の生態系を論じるうえで最も重要な種はナンキョクオキアミであるが,近年ハダカイワシ科魚類が注目されている.日本の生態系研究チームはハダカイワシ科の中でも季節海氷域に分布するElectrona antarctica(ナンキョクダルマハダカ)をターゲットのひとつとして研究しているが,その繁殖生態や初期生活史については未解明の部分が大きい.季節海氷域では海氷に含まれるアイスアルジーや海氷融解時におこる植物プランクトンの大増殖を起点に始まる食物網が存在する.海氷と海氷下の生態系は密接な関係があり,温暖化による海氷変動は生態系変動をもたらすことになる.
著者
日置 真世
出版者
北海道大学大学院教育学研究院
雑誌
北海道大学大学院教育学研究院紀要 (ISSN:18821669)
巻号頁・発行日
vol.107, pp.107-124, 2009-06-22

地域社会における子どもたちを取り巻く環境は厳しさを増している。地域社会のつながりが希薄となり,家族のあり方が多様化し,子どもたちを育む機能が脆弱になっている。脆弱な養育環境におかれた子どもは学校などの集団においても孤立し,排除されるリスクを負う。そのリスクを放置することは,社会的なハンディを持つ子どもたちへの社会による排除であり,地域社会のあらゆる構成員が総力を挙げて対策を講じる責任があると考える。本論文は多くの厳しい現状を抱えている地域である釧路市において2008年1月から実施されている生活保護世帯等の中学3年生への学習支援実践についてのレポートである。孤立・排除のリスクを抱える子どもたちへの支援をきっかけに集まったすべての参画者たちが協同的な「場づくり実践」を通して生活主体となるプロセスを辿ることで,子どもたちを育む地域づくりのための対策の必要性と可能性を探る。
著者
金藤 栄孝 二木 厚吉
出版者
情報処理学会
雑誌
情報処理学会論文誌 (ISSN:03875806)
巻号頁・発行日
vol.45, no.3, pp.770-784, 2004-03-15

Dijkstraのgoto文有言説とそれに引き続く構造的プログラミングの提唱以降,goto文の使用に関する問題は長く議論されてきたが,coto文の使用法に関しての理論的裏付けを持つ研究としては,逐次的プログラムの制御フローは3基本構造(順次接続,条件分岐,反復)のみで表現可能であるからgoto文を用いたプログラムは3基本構造のみによる等価なプログラムに書き換えられる,という結果に基づいたMillsらのgoto文排斥論以外は皆無であり,Dijkstra本来のプログラムの正しさを示す手段としてのプログラムの構造化という観点でのgoto文の使用の是非は,プログラム検証論の立場から考察されなかった.本論文では,プログラムの正しさを示すという検証手段としてのHoare論理に基づきgoto文の使用を再検討する.特に,多重ループの打ち切りの場合,goto文を用いて脱出するプログラミングスタイルの方が,Mills流のBoolean型変数を追加してループを打ち切るスタイルよりも,Hoare論理での証明アウトラインが簡単に構成でき,したがって,前者のgoto文を用いたプログラミングスタイルの方が,そのようなプログラムに対するHoare論理による検証上からは望ましいことを示す. : There have been a vast amount of debates on the issue on usages 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 nows 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 proving the correctness of programs, and we see that usages of goto's in escaping from nested loops can be justified from the Hoare Logic viewpoint by showing the fact that constructing the proof-outline of a program using a goto for this purpose is gasier than constructing the proof-outline of a Mills-style program without goto by introducing a new Boolean variable.
著者
堀田 真紀子
出版者
北海道大学大学院メディア・コミュニケーション研究院
雑誌
メディア・コミュニケーション研究 (ISSN:18825303)
巻号頁・発行日
vol.54, pp.19-33, 2008-03-17

In this paper I try to make a clear difference between the mass media’s attitude toward images (which I call ‘spectacle’ in accordance with Guy Debord) and that of artists. In the highly information-oriented society of today the ‘spectacle’ influences people so deeply that we tend to take that attitude when we treat arts, which damages transmission of its essence. The main difference between the two attitudes consists in how they treat the moral context of the images. For artists the appearance of images, their effects or beauty are never depicted for their own sake. The effect or the beauty only comes after as the results or mere byproducts of his or her quest for a new reality. The quest is what matters. And it has a moral nature: the artist tries to discover something valuable to him or her and to other people. If the artist directly chooses effective or beautiful images without this quest, he can only produce ‘kitsch’ in the sense of Hermann Broch. For the mass media, only the fixed appearance of the image matters. And the media often refers to images ignoring their moral context, using them for different, often spectacular purposes which often contradict their originally moral contexts. In that way the mass media transforms every great art work into kitsch as it separates its appearance from its original moral contexts. An art gallery should be a countervailing power against this prevailing trend. And I examined the form of gallery which emphasizes the moral context of art works.
著者
東 克明
出版者
首都大学東京
巻号頁・発行日
pp.1-142, 2013-09-19

首都大学東京, 2014-09-19, 博士(文学), 乙第68号
著者
本田 實信
出版者
北海道大學文學部
雑誌
北海道大學文學部紀要 (ISSN:04376668)
巻号頁・発行日
vol.10, pp.87-127, 1961-11-10