著者
笹村 直樹 田中 英彦
出版者
一般社団法人電子情報通信学会
雑誌
電子情報通信学会技術研究報告. ISEC, 情報セキュリティ (ISSN:09135685)
巻号頁・発行日
vol.106, no.597, pp.75-80, 2007-03-09

近年の通信ネットワーク環境の発展によって,デジタルデータのコピーを複数の人又はマシンに提供する事(以下,デジタルデータの流通)が容易になっている.簡単に同一のデジタルデータを複数人で共有する事にはさまざまなメリットがあり,この事は今日のIT社会にはなくてはならない要素となっている.しかし,デジタルデータの流通が容易である事は,デジタルデータの無制御な流通を招き問題が起きている.本研究では, FreenetやWinnyなどに代表される,いわゆるP2Pネットワークでのデジタルデータ流通に注目し,P2Pネットワークでのデジタルデータの流通制御,つまり取得性制御を行うことを目的としている.本研究では取得性制御を行うために,データの検索,転送及び各ノードで保存するデータに関して仕組みを設け,データの取得性を制御できるネットワークアーキテクチャを提案している.
著者
河野 真治 中村 宏 藤田 昌宏 田中 英彦
雑誌
全国大会講演論文集
巻号頁・発行日
vol.33, pp.2169-2170, 1986-10-01

論理回路設計を支援する場合に,ハードウェア記述を様々なレベルから,formalにおこなうことが重要である。Tokioは,時相論理(LITL)にもとづき,高度に抽象的なレベルからハードウェア記述をおこなうことができる。我々は,これまで各種のハードウェアをTokioにより実際に記述し,いくつかの記述に対して検証をおこなってきた。しかし,論理式による記述は,形式的に完全であるが,記述の階層化に問題がある。論理式自体が平坦な為に全体の記述が平坦になってしまう。この間題は,Cや,Prolog, Lispなどのプログラミング言語にも共通した問題である。ここでは,Tokioのプログラムの基本形であるClausal Formに,命題論理式を付け加えて,ハードウェアの同期部と機能部の記述を分離することを考察する。これにあわせて,Tokioの記述をモジュール化するために,オブジェクト指向の記述を導入する。これにより,平坦な記述を避けることができ,より実用的な記述が可能となる。
著者
田中 英高 寺島 繁典 竹中 義人 永井 章 Borres Magnus
出版者
一般社団法人日本心身医学会
雑誌
心身医学 (ISSN:03850307)
巻号頁・発行日
vol.42, no.5, pp.293-300, 2002-05-01
被引用文献数
1

近年,未成年者の凶悪犯罪が注目を集めているが,その一方で子どもの自殺の増加も大きな社会問題となっている.われわれは日本とスウェーデンの公立小中学校において,心身医学的健康調査を実施した結果,日本の子どもは精神的身体的により脆弱で,疲弊していると結論づけた.その調査の中で,死にたいと思っている子どもはスウェーデンより日本で多いことを報告した.本研究では,自殺願望の心理社会的背景について前回の調査結果をさらに解析した.大阪府下公立小学校4年生〜中学校3年生(男子375名,女子367名)を対象に,新しく作成した質問紙法による健康調査を実施した.質問項目は,身体愁訴10項目,精神愁訴12項目,その他心理社会的因子30項目から成る.「わたしは,よく死にたいと思う」の質問項目に対し,「はい」「ときどき」「いいえ」の3件法で回答を得た.また「わたしは,カッとしやすい」の質問項目に対しても同様に行った.日本の小学生,中学生の「はい」の回答率はそれぞれ3.3%,6.9%,「ときどき」は12.5%,14.9%であった.一方,スウェーデンでの「はい」の回答率はおのおの1.9%,2.8%と日本に比べて有意に低かった.stepwise回帰分析からみた「わたしは,よく死にたいと思う」に関連する心理社会的因子の第1位は,日本では「自分のことで両親がよくけんかをする」であった.一方,スウェーデンでは「自分に満足していない」であり,日本と異なった結果であった.文部科学省の調査によると,日本の子どもの自殺の原因を家庭不和が第1と推定しており,今回の一般小中学生を対象とした調査結果と一致した.親が子どもを一入の人間として,いかに育んでいかねばならないのか,日本人は改めて考え直す必要があろう.