著者

伊東 秀幸 大西 守 田中 英樹 桑原 寛 伊藤 真人 大塚 俊弘 野口 正行 金田一 正史 斎藤 秀一 山本 賢 呉 恩恵

出版者

田園調布学園大学

雑誌

田園調布学園大学紀要 = Bulletin of Den-en Chofu University (ISSN:18828205)

巻号頁・発行日

no.10, pp.1-31, 2016-03

---

精神障害者支援に関して,市町村は精神障害者に対して身近な地域できめ細かく支援していく役割があり,保健所はその市町村に対して専門性や広域性が必要な事項について支援していく役割がある。また,精神保健福祉センターは,保健所,市町村に対する技術援助の役割を担っている。以上のように各機関は,それぞれ異なる役割を期待されているが,精神保健福祉法の改正や障害者自立支援法の施行などもあり,精神保健福祉行政を取り巻く環境は大きく変化している。そのため,保健所,市町村そして精神保健福祉センターによる精神障害者に対する支援の現状を把握し,それぞれの機関の果たすべき役割について見直していくことが重要である。そこで本研究では,厚生労働省平成26 年度障害者総合福祉推進事業「保健所及び市町村における精神障害者支援に関する全国調査」の結果から,保健所及び人口30 万人未満の市町村のデータを抽出し,精神障害者支援に関する,保健所と市町村の役割とその現状について考察を試みた。調査の結果から,指定都市型保健所,中核市型保健所や10 万人未満,30 万人未満の市町村においては,精神障害者支援に関する様々な取り組みがされているのに対し,都道府県型保健所ではこれまでの事業を中心に実施されている現状が分かった。これは,都道府県型保健所と市町村との間で精神障害者支援に関する役割分担が進んでいることからくることと推測される。30 万人未満の市町村では,精神障害者支援に関して,これまでの都道府県中心から市町村主体と変わっているが,その実施にあたり様々な困難を抱えており,これからも都道府県(保健所)等のバックアップが必要と考えている。そのための具体的な対策としては,保健所や精神保健福祉センターによるバックアップ体制を強化するとしている。一方,保健所は,今後重要となる精神保健福祉業務の体制については,管内市町村との連携強化を考えているという現状が把握できた。精神保健福祉センターに対する調査では,精神保健福祉センターの業務のうち保健所への技術援助は積極的に取り組む必要があるとしている。以上のことから,今後,保健所から管轄市町村に対して,これまで以上に技術援助や連携を進めていくことが必要であり,精神保健福祉センターからの技術支援は,保健所はもとより直接的に市町村にも積極的に進めることが課題であると思われる。また,「保健所及び市町村における精神保健福祉業務運営要領」は,平成18 年に発出以来10 年が経過していることから,現状にあった改訂の必要性があると思われる。

著者

金子 伸幸 桑原 寛明 山本 晋一郎 阿草 清滋

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.26, no.3, pp.3_34-3_43, 2009-07-28 (Released:2009-10-05)

被引用文献数

1

---

我々は,Strutsを利用して構築されるWebアプリケーションに対するコーディングチェッカとして,StrutsLintを開発した.StrutsLintは,Strutsの設定ファイルおよびJSP,Javaのソースコードを解析し,言語を跨いだ制御依存グラフ,データ依存グラフを生成する.これらのグラフを基に,制約の一貫性などを検査することで対象アプリケーションの整合性検査を行う.本稿では,StrutsLintで実現した機能を基にStrutsアプリケーションに対するコンポーネントウェアとしての整合性検査について述べる.

著者

秋山 栄一 三重野 優子 衛藤 宏 伊東 祐信 桑原 寛

出版者

The Japanese Society of Nutrition and Dietetics

雑誌

栄養学雑誌 (ISSN:00215147)

巻号頁・発行日

vol.56, no.4, pp.199-209, 1998-08-01 (Released:2010-02-09)

参考文献数

27

---

中等度~高度肥満症に対し, 固形食化VLCDの栄養組成を, 従来の380kcal, たんぱく質40gから460kcal, たんぱく質55gに調整し, その差異が肥満の治療効果に及ぼす影響を検討した。対象は, 当院の入院管理下において380kcalの固形食化VLCD (超低エネルギー食) を摂取した男12人, 女32人, 計44人 (平均年齢46.1±2.5歳), 及び460kcalの固形食化VLCDを摂取した男12人, 女27人, 計39人 (平均年齢45.1±2.3歳) とした。380kcal または460kcalの固形食化VLCDを当院の肥満治療プログラムに従って実施した結果, 標準偏差が大きかったため, 体重は両群とも4週間後に, BMIは2週間後及び3週間後から, それぞれ有意に減少した。入院時と入院4週間後で比較した総コレステロール, LDL-コレステロール, 中性脂肪は, 両群とも有意に低下した。HDL-コレステロールは380kcal群で有意に低下したが, 460kcal群ではやや減少傾向を示すものの, 有意の差は認められなかった。動脈硬化指数 ((総コレステロール-HDL-コレステロール)/HDL-コレステロール) は460kcal群において明らかな改善がみられた。窒素バランスは380kcal群に比し, 460kcal群において有意に改善した。血清鉄は両群とも4週間後に有意に低下したが, 1,200kcal食に維持すると正常範囲に回復した。両群間で4週間後の体重減少速度に著明な差を認めなかったにもかかわらず, 血清脂質, 動脈硬化指数, 窒素バランスにおいては, 460kcal 群に良好な結果が得られた。以上の結果から, 1日460kcalの固形食化VLCDは, 380kcalに比し適正な栄養量と思われる。

著者

渡邉 真理 伊東 祐信 禧 光太郎 古賀 照邦 岩隈 裕明 桑原 寛

出版者

公益財団法人 日本心臓財団

雑誌

心臓 (ISSN:05864488)

巻号頁・発行日

vol.25, no.11, pp.1310-1315, 1993-11-15 (Released:2013-05-24)

参考文献数

13

---

発作性心房細動,脳硬塞,腎梗塞などの発症を契機に,三心房心と診断された高齢者を含む3症例を経験した. 症例1は62歳, 男性. 約10年前から時折数分間持続する動悸を自覚し,1991年8月頃より動悸が頻回になったため当院を受診した.1年前に腎梗塞の既往がある.動悸発作時の心電図は心房細動を呈し,心臓のシネモードMRI,経胸壁および経食道心エコー検査にて左房内に異常隔壁を認め,三心房心と診断した.症例2は32歳,男性.1984年3月1日夕刻,1時間程度意識消失発作出現.意識回復後,右半身に脱力感を自覚.翌日起床後言語障害に気付き,当院を受診した.頭部CT検査で左前頭葉に広範な低吸収域を認め,脳硬塞と診断された.心エコー検査で左房内に大動脈後壁から僧帽弁後尖に向かう異常隔壁を認め三心房心と診断した.症例3は77歳, 男性.1980年7月4日めまいを主訴に来院.精査の結果椎骨脳底動脈循環不全と診断された.頭部CTで脳硬塞の既往があった.胸部X線写真でCTR58%の心拡大と肺うっ血を認めた.心エコー検査で左房内異常隔壁と心房中隔欠損を認め,左房および右室負荷所見を呈していた.三心房心はまれな先天性心疾患であり,多くは小児期に診断され,成人例での報告は少ない.当院の3症例はいずれも成人例であり,これまでの報告例中,最高齢例を含む.先天性心疾患の診断,治療および予後について重要な経験例となると考え,若干の文献的考察を加え報告する.

著者

太田 喜郎 今村 孝 山岡 宏太郎 桑原 寛 花田 基典

出版者

一般社団法人 日本内科学会

雑誌

日本内科学会雑誌 (ISSN:00215384)

巻号頁・発行日

vol.56, no.11, pp.1316-1323, 1967-11-10 (Released:2008-06-12)

参考文献数

10

---

臨床上,チアノーゼをきたす病的状態がいくつか知られているが,なかでも非常にまれなスルフヘモグロビン血症によるチアノーゼの1例を経験したので,文献的考察を加えて報告する.患者は40才の女で,チアノーゼ,頭痛,便秘を主訴に入院した, 2才の時,脳膜炎にかかり水頭症をきたし,持続する頭痛のために5, 6年来「ノーシン」を連用するうちに,チアノーゼが出現した.家族歴に同様のチアノーゼを有するものはいない現症では,頭囲の拡大,顔および可視粘膜のチアノーゼを認めるが,心,肺に異常を認めない検査成績では,肝機能は正常で,脳室撮影,脳血管造影等により著明な脳室拡大(水頭症)を認めたが,髄液は,圧,その他,正常範囲にあつた.溶血液の分光学的検査で, 618~620mμに特有な吸収極大を有する病的hemoglobinを含んでいることがわかつた. CNを加えても変化せず, methemoglobinとは異なつている.その他の試薬に対する態度から,この病的誘導体がsulfhemoglobinであることがわかつた. Evelyn & Malloy法による定量で2.35g/dl(全Hbの16%)を含んでいた. Hbの電気泳動では異常Hb (Hb-M)は検出されなかつた.網赤血球,赤血球抵抗, Heinz body形成試験等は正常で,血清黄疸指数などからも溶血亢進を思わせる所見はない赤血球のDPNH diaphorase活性は正常であつたが, glutathione (reduced form)は14mg/dlと高値を示した.「ノーシン」の内服を中止し,便通を整えて経過を観察する間に, sulfbemoglobinは入院後2ヵ月目には0.5g/dlと減少し,次第にチアノーゼも消失した.

著者

兼松 卓也 桑原 寛明 上原 哲太郎 國枝 義敏

雑誌

コンピュータセキュリティシンポジウム2016論文集

巻号頁・発行日

vol.2016, no.2, pp.1260-1267, 2016-10-04

---

レインボーテーブルはパスワード解析に利用されるパスワードとハッシュ値の対応表である.レインボーテーブルはパスワードとハッシュ値の組を計算によって復元可能とすることでコンパクトな表となっているが,生成には膨大な計算時間を要する.本稿では,一般的なレインボーテーブルよりも効率的なパスワード解析が可能なレインボーテーブルを GPGPU を用いて高速に生成する手法を提案する.数字,英小文字,英大文字で構成される 4 文字のパスワードに対応するレインボーテーブルを提案手法によって生成し,GPGPU による高速化の効果を示す.生成したレインボーテーブルを用いてパスワード解析を行い,効率化による解析時間の変化を示す.

著者

渥美 紀寿 桑原 寛明

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.33, no.4, pp.4_50-4_66, 2016-10-25 (Released:2017-01-14)

---

ソースコードの品質を向上させることを目的とし,様々な静的検査ツールが開発されている.静的検査ツールを利用する際は,繰り返し検査を実行して報告される警告を確認し,必要に応じて対処することが重要である.しかし,静的検査ツールが報告する警告にはfalse-positiveが含まれており,それらはソースコードを改変後も繰り返し警告として報告される.この問題を解決するために,本稿では,ソースコードの静的検査において得られる警告に関して,開発者が修正の必要性の有無を記録し,その情報を管理するツールを提案する.本ツールでは,ソースコードの版管理ツールを利用して,記録された警告の対象コードの変更前後の対応箇所を追跡し,既に記録された修正の必要のない警告を非表示にする.これにより,何度も同じ違反を確認する必要がなくなる.

著者

桑原 寛明 國枝 義敏

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.36, no.4, pp.4_39-4_45, 2019-10-25 (Released:2019-12-25)

---

本論文では,情報流解析における制約付き機密度パラメータを提案する.機密度パラメータを用いることで,各データの具体的な機密度を指定することなくクラスや関数を定義することができる.しかし,機密度パラメータに対して具体的な機密度をどのように割り当てても非干渉性を満たすことが要求される.制約付き機密度パラメータはこの強い制約を緩和する.本論文では,手続き型言語を対象として制約付き機密度パラメータに対応した情報流解析のための型システムを定義し,簡単な適用例を示す.

著者

吉田 真也 桑原 寛明 國枝 義敏

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.34, no.4, pp.4_47-4_53, 2017-10-25 (Released:2017-12-25)

---

本論文では,Javaプログラムに対する情報流解析のためのJavaアノテーションを提案する.情報流解析を用いることでソフトウェア内の機密情報の流出を検出できる.情報流解析では機密度束の定義とプログラム中のデータに対する機密度の指定が必要であるため,機密度の指定と機密度束の定義のためのアノテーションを定義する.アノテーションで機密度が指定されたJavaプログラムに対する情報流解析をOpenJDKのJavaコンパイラを拡張して実装し,適用例を示す.

著者

大森 隆行 桑原 寛明 丸山 勝久

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.32, no.1, pp.1_120-1_135, 2015-01-26 (Released:2015-02-11)

---

Although code completion is inevitable for effective code editing on integrated development environments, existing code completion tools can be improved. A previous study noted that developers sometimes perform ineffective repetitions of the same code completion operations. Hence, this paper introduces a statement, “A more recently inserted code completion candidate should be given a higher rank among previously inserted items in the candidate list.” To confirm this statement, this paper examines the following three points. First, an experiment using operation histories is presented to reconfirm that developers more frequently repeat recent code completion operations. Second, a tool called RCC Candidate Sorter is presented. It alters the sorting algorithm of the default Eclipse code completion tool to prioritize candidates inserted by recent code completion. Finally, an experiment is conducted to evaluate the performance of the tool. The experimental result shows that it outperforms an existing method.

著者

桑原 寛明 結縁祥治 阿草 清滋

出版者

情報処理学会

雑誌

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

巻号頁・発行日

vol.45, no.6, pp.1498-1507, 2004-06-15

被引用文献数

2

---

本論文では実時間システム開発にオブジェクト指向開発技術を適用する基礎とするために,形式計算モデルであるπ計算に基づきリアルタイムオブジェクト指向言語の振舞いを定式化する.π計算に離散時間の振舞いを拡張し,単純なリアルタイムオブジェクト指向言語OOLRTの振舞いを記述する.実時間システムは一般に時間制約を持つ複数のオブジェクトの並行動作によって実現される.OOLRTによって実時間システムの特性を直接的に記述し,時間拡張されたπ計算によってその振舞いを厳密に定義することで,システムの動作の解析や検証を形式的に行うための枠組みを与える.In this paper, we aim at providing a foundational framework of the object-oriented technique for system development with timing constraints. We formalize timed behavior of objects via the behavior of π-calculus extended with time. It is common to model a real-time system by composing concurrent objects with timing constraints. To capture the features of real-time objects, we define a simple programming language OOLRT to give the operational semantics by translating a program of OOLRT into a term of our timed π-calculus. By this translation, we obtain an abstract behavioral model for real-time objects to analyze and verify the behavioral properties of real-time systems.