著者

権藤 克彦 明石 修 伊知地 宏 岩崎 英哉 河野 健二 豊田 正史 上田 和紀

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.26, no.4, pp.4_17-4_29, 2009-10-27 (Released:2009-12-27)

---

「ソフトウェア開発で得られる経験や知見を成果とする論文(=ソフトウェア論文)を書くことは難しい」とよく言われますが,「なぜ難しいのか」の分析はこれまで十分にはなされていません.本論文では本誌のソフトウェア論文特集を編集した経験から,「ソフトウェア論文を書くことがなぜ難しい(と感じる)のか」の分析を試みます.問題は「著者の作文の問題」だけではなく,ソフトウェア自体,ソフトウェア工学,査読者,社会状況にも要因があることを示します.要因が多岐に渡るので結論を短く言うことが難しいです.あえて言えば「著者の作文技術にも問題はあるが,(著者の責任ではない)本質的な難しさも別にあるので,著者が自らハードルを上げてしまうことは避けるべき」「ソフトウェア論文の追試としての価値を査読者は評価すべき」です.また作文技術の問題を解決する一助として,ソフトウェア論文の執筆チェックリストを最後に示します.

著者

河野 健二

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.34, no.1, pp.1_32-1_38, 2017-01-25 (Released:2017-03-25)

著者

河野 健一

出版者

ロシア・東欧学会

雑誌

ロシア・東欧研究 (ISSN:13486497)

巻号頁・発行日

vol.2002, no.31, pp.91-106, 2002 (Released:2010-05-31)

参考文献数

15

---

NATO's air campaign against Yugoslavia in 1999 is first ever “humanitarian intervention” launched without prior authorization of UN Security Council. Though the bombing led by US eventually forced Mirocevic to pull out of Kosovo, it incurred fierce debates over its legality and legitimacy, and over its failure in preventing escalation of abuse of human rights during the campaign. Military wisdom of having resorted solely to air bombing was also challenged.After September 11th 2001 we have been witnessing fundamental changes taking place in the way force is used in international relations. The wars in Afghanistan and then in Iraq compels us to ponder upon a grave question. Can and should force replace diplomacy in dealing with regimes considered to be undemocratic and hostile to established norms and regulations?Notwithstanding differences in political background NATO's armed intervention in Kosovo and the US-led war with Sadam's Iraq have one thing in common. In both cases military force was used in massive scale bypassing UN Security Council. Thus UN's role and authority as guardian of international peace and human rights has come to be seriously contested.In this paper the author tried, by re-examining the political and military aspects of NATO's bombing operation, to draw lessons for building a security architecture which is more widely acceptable and yet better workable in the changed international environment.The gist of lessons drawn is as follows;(1) The UN Charter must be revised to give legality to legitimate humanitarian intervention. An independent committee should work out principled guidelines for legitimate intervention.(2) Resort to force is to be considered only after other peaceful means have fully been exhausted. Use of force should be legitimatized solely by prior approval of UN.(3) The UN organs, in particular Security Council, need to be reformed to enable a fair, quick and effective crisis management.(4) Democratization and economic development are key to regional stability. EU's assistance to and future admittance of the whole of Balkan should be closely observed. It is a test case of proving that soft power rather than hard power plays vital a role in establishing a sustainable peace in regions traditionally vulnerable to chauvinistic nationalism and of war-ridden history.

著者

吉村剛 河野健二

雑誌

研究報告システムソフトウェアとオペレーティング・システム(OS)

巻号頁・発行日

vol.2014-OS-130, no.10, pp.1-12, 2014-07-21

---

Linux カーネルにおいてバグ対策は不可欠である.しかし,コードの大規模化に伴い,バグ対策のために必要となるシステム全体の深い知識や誤りやすいパターンを把握することは難しい.特に誤りやすいパターンを把握するためには過去に大量に蓄積されたバグ報告やパッチの変更履歴を把握しなければならない.本研究は linux のパッチ 37 万件に対してパッチの説明文を自然言語処理し,トップダウンクラスタリングを用いることで全体の中でより高い頻度で発生した話題を抽出し,パッチ集合を 66 クラスタに分割してバグの実態調査に利用する.調査の有用性を示すため,割り込みに関するクラスタを調査してバグパターンを定義し,コード解析による検査を linux 3.15 において行って 2 件のバグを発見した.

著者

瀬貫 真菜 石黒 健太 河野 健二

雑誌

研究報告システムソフトウェアとオペレーティング・システム(OS) (ISSN:21888795)

巻号頁・発行日

vol.2022-OS-155, no.5, pp.1-9, 2022-05-19

---

マルチテナント型のクラウド環境において,ハイパーバイザは仮想マシンの隔離と安全性を保証しているものの,ハイパーバイザにも多くの脆弱性が報告されており,特にデバイスエミュレータはその温床となっている.デバイスエミュレータはその複雑さから修正パッチの開発が容易ではなく,脆弱性の発見からパッチの適用までに長い時間を要することが多い.本論文では,デバイスエミュレータを対象に一時的に脆弱性を防ぐ手法を提案する.デバイスエミュレータの脆弱性を突く攻撃では,通常の I/O 処理では行われることのない I/O 要求を行うことが多い.そこで,脆弱性を突く不正攻撃に特有の I/O 要求を拒否する I/O フィルタの仕組みを導入する.I/O フィルタでは,特定の脆弱性を突くための特徴的な I/O 要求が記述でき,その記述に合致する I/O 要求を拒絶する.このフィルタはデバイスの内部構造を理解することなく記述可能であるため,修正パッチの作成より容易であることが期待できる.実際に CVE-2015-3456 (VENOM),CVE-2016-7909 など 4 個の脆弱性を防ぐフィルタの記述が可能であり,通常時の仮想マシンの動作を阻害することはなく,実行時オーバーヘッドも最大 8% 程度であることを示す.

著者

河野 健 海洋研究開発機構地球環境変動領域海洋環境変動研究プログラム

出版者

日本海洋学会

雑誌

海の研究 (ISSN:09168362)

巻号頁・発行日

vol.19, no.2, pp.127-137, 2010-03-15

参考文献数

23

---

2009年6月に開催されたIntergovernmental Oceanographic Commission(IOC)の第25回総会において,現在の海水の状態方程式(Practical Salinity Scale 1978 and International Equation of State of Seawater 1980:EOS-80)に代わる新しい海水の状態方程式(Thermodynamic Equation of Seawater 2010:TEOS-10)の採用が承認された。EOS-80は,その方程式の中で実用塩分スケール(Practical Salinity Scale 1978:PSS-78)で定義される実用塩分(Practical Salinity,S_P)を用いていたが,TEOS-10では,実用塩分ではなく,絶対塩分(Absolute Salinity,S_A)が用いられている。本報では新たな状態方程式(TEOS-10)に関して,関係する主要な論文を基に,特に塩分の定義を中心に紹介する。

著者

齋藤 義雄 西田 裕介 河野 健一 竹内 真太

出版者

日本理学療法士学会

雑誌

理学療法学 (ISSN:02893770)

巻号頁・発行日

pp.11405, (Released:2018-09-08)

参考文献数

27

---

【目的】目的は管理職の臨床指導場面における怒りの一次感情を明らかにすること,性格特性と怒り喚起の関係を明らかにすることである。【方法】自記式アンケートにて,基本項目,性格特性,怒り感情を調査した。対象は30 ~54 歳(平均40.4 歳)の管理職の男性理学療法士22 名とした。怒りの一次感情は12 個の選択語から抽出した。各調査項目間の相関にはSpearman の順位相関分析を用いた。【結果】怒りの生じる指導場面は,後輩指導が21 件で最多。怒りの一次感情は,「困った」「心配」が高頻度出現。性格特性と各調査項目の相関は,外向性と敵意(r = –0.46),協調性と怒り喚起(r = 0.52),自尊感情と怒り喚起(r = –0.49)などに有意な相関が認められた。【結論】管理職の指導場面における怒りの一次感情は,「困った」等が多かった。また,協調性があり,勤勉でなく,自尊感情が低い指導者に怒り喚起しやすいことが示唆された。

著者

原 采花 河野 健一 大下 裕世 矢部 広樹 長嶋 史子 名村 晋哉 一柳 浩志 森山 善文 西田 裕介 山田 哲也

出版者

一般社団法人日本理学療法学会連合

雑誌

理学療法学 (ISSN:02893770)

巻号頁・発行日

vol.47, no.3, pp.207-214, 2020 (Released:2020-06-19)

参考文献数

27

---

【目的】維持血液透析患者の栄養状態,身体機能の代表値ならびにカットオフ値を下回る患者の割合を年代別に明らかにした。【方法】670 例の維持血液透析患者に対して,患者背景,Body Mass Index(BMI),Geriatric Nutritional Risk Index(以下,GNRI),握力,膝伸展筋力,通常歩行速度,Short Physical Performance Battery(以下,SPPB)を横断的に調査した。サンプルサイズの妥当性を確認し,代表値の算出とカットオフ値を下回る患者の割合を年代間で比較した。【結果】50 歳以上の年代では十分なサンプルサイズを設定できた。GNRI,握力,膝伸展筋力,歩行速度,SPPB はいずれも年代が高いほど低値で,80 歳代においてカットオフ値を下回る割合が高かった。【結論】維持血液透析患者の栄養状態,身体機能の年代別代表値と高齢患者における低下の実態を示すことができた。

著者

中嶋 駿介 山口 健也 今村 秀 進藤 美舟 妙中 隆大朗 河野 健太郎 丹波 嘉一郎

出版者

日本緩和医療学会

雑誌

Palliative Care Research (ISSN:18805302)

巻号頁・発行日

vol.16, no.2, pp.163-167, 2021 (Released:2021-05-19)

参考文献数

12

---

【緒言】メサドン導入の際は本邦のガイドラインではstop and go法が推奨されているが,一時的な疼痛コントロール不良や重篤な副作用が出現する可能性がある.難治性がん疼痛の患者に対して,先行オピオイドに上乗せして早期に少量のメサドンを導入することで,症状緩和を得た症例を経験した.【症例】70歳男性.直腸吻合部の直腸がん再発による旧肛門部痛に対してタペンタドール,鎮痛補助薬を導入したが疼痛コントロール不良であったため,メサドン5 mg分1を併用した.メサドン開始後は著明な疼痛改善,QOL改善を認めた.【考察】より安全に疼痛管理を行うために本症例のような早期に少量メサドンを上乗せする方法が検討されうる.

著者

窪田 貴文 吉村 剛 河野 健二

雑誌

研究報告システムソフトウェアとオペレーティング・システム(OS) (ISSN:21888795)

巻号頁・発行日

vol.2016-OS-136, no.11, pp.1-10, 2016-02-22

---

ログは実行エラー時のシステムの挙動を理解するのに有効な情報源である.これはログの出力にはデバッグに必要な情報が含まれていたり,また実行パスの推定にも有効だからである.しかしながら,近年のマルチスレッド環境に対応したシステムソフトウェアでは単純なログのみではシステムの挙動を理解するのは難しい.なぜなら,マルチスレッド環境では複数スレッドで共有されるデータによりデータフローがスレッドをまたぎ,スレッド間で依存関係が発生するからである.さらに,このような複雑なデータフローを追跡するログを手動で挿入するのは,ソフトウェアの専門的な知識と開発コストが必要な作業である.そこで,本研究ではスレッド間の依存関係を追跡するログの自動挿入を行なうツールを提案する.提案手法では,型情報を考慮したデータフロー解析を行なうことでスレッドをまたいで依存関係が発生するデータフローのペアを特定し,そのデータフローを追跡するログの自動挿入を行なう.本研究では提案手法を Linux I/O に適用し,実際に Btrfs におけるバグのデバッグにおいて有用性が示している.また,提案手法におけるオーバヘッドはデータベースアプリケーションにおいて約 2%であった.

著者

大須賀 敦俊 縣 直道 窪田 貴文 河野 健二

雑誌

研究報告システムソフトウェアとオペレーティング・システム(OS) (ISSN:21888795)

巻号頁・発行日

vol.2017-OS-140, no.3, pp.1-7, 2017-05-09

---

仮想化を用いたクラウド環境では,ひとつの仮想マシン (VM) でひとつのアプリケーションを動作させる形態が一般的になっている.この特徴を活用し,クラウド環境に特化した OS の設計 ・ 開発が行われている.これらのクラウド特化型 OS は,ハイパーバイザと重複した機能をゲスト OS から取り除いた,軽量かつ省メモリな実装となっている.これらの OS は新規の設計となっているため,1) 既存 OS と同等の機能を利用できるとは限らないという機能性,および 2) 既存 OS とは別個に保守が必要になるという保守性の面において不十分である.本論文では,既存の OS に対する改変を最小限に留めつつ,クラウド特化型 OS と同等の性能を実現する方法として,既存アプリケーションを既存のカーネル内で実行できるようにするフレームワークを提案する.この方法では,プロセスによるオーバーヘッドを削減することで,クラウド特化型 OS に近い軽量化を行うことができる.同時に,1) 実装において既存 OS の機能をそのまま利用できること,2) 既存 OS コミュニティによりコア機能が保守されることを期待できる.Linux を対象にフレームワークの実現を行った.本フレームワークの有用性を示すため,LevelDB というキーバリューストアをカーネル内で実行したところ,プロセスとして実行した場合と比較して,スループットが最大 1.46 倍となった.

著者

河野 健一 矢部 広樹 森山 善文

出版者

日本理学療法士学会

雑誌

理学療法学 (ISSN:02893770)

巻号頁・発行日

vol.44, no.1, pp.66-71, 2017 (Released:2017-02-20)

参考文献数

36

著者

河野 健一 矢部 広樹 森山 善文 森 敏彦 田岡 正宏 佐藤 隆

出版者

一般社団法人 日本透析医学会

雑誌

日本透析医学会雑誌 (ISSN:13403451)

巻号頁・発行日

vol.48, no.11, pp.635-641, 2015 (Released:2015-11-27)

参考文献数

28

被引用文献数

5 2

---

血液透析患者の転倒リスクを予測するうえで有用な指標を明らかにする. 歩行可能な血液透析患者123例を対象に転倒の発生を主要アウトカムとする1年間の前向きコホートを実施した. 身体パフォーマンスに関する指標であるshort physical performance battery (SPPB), 筋力, 筋肉量に加え, 栄養状態の指標や透析に関連する指標の転倒に対するハザード比を算出した. 観察期間内に38名 (31%) が転倒し, 透析関連低血圧 (intra-dialytic hypotension : IDH) が独立した危険因子として抽出された (HR=2.66, p=0.01, Log rank test p=0.002). また, SPPB 7点以下は11点以上と比較して有意に転倒のリスクが高かった (HR=2.41, p=0.02, Log rank test p=0.021). IDHやSPPBの低下は透析患者の転倒リスクを予測するうえで有用な指標となることが明らかとなった.

著者

井上 (吉川) 久幸 石井 雅男 河野 健 村田 晶彦

出版者

国際環境研究協会

雑誌

地球環境 (ISSN:1342226X)

巻号頁・発行日

vol.9, no.2, pp.153-160, 2004

---

中部及び西部赤道太平洋において、大気及び表面海水の二酸化炭素分圧の観測を1999年から2003年にかけて実施した。これらの観測は「炭素循環に関するグローバルマッピングとその高度化に関する国際共同研究 海洋表層における炭素フラックスと一次生産に関する研究」(科学技術振興調整費)の一環として海洋地球研究船「みらい」で行った。観測の結果、中部及び西部赤道太平洋の表層は、大きくふたつの海域に分けることが出来た。すなわち西太平洋暖水塊と、その東にある赤道湧昇域である。西太平洋暖水塊では、表面海水の二酸化炭素分圧(pCO2sw)が大気の分圧(pCO2air)に等しいか僅かに高く、栄養塩が枯渇し、低塩分(<34.5)・高温(>28.5℃)である。赤道湧昇域では西から東に向かってpCO2swが溶存無機炭素及び栄養塩濃度と共に増加し、表面水温は減少している。ふたつの海域の境界は、エル・ニーニョやラ・ニーニャ発生により東西に大きく移動する。エル・ニーニョ期に西太平洋暖水塊は東進し、中部及び西部赤道太平洋のpCO2swは減少する。このため2002~2003年のエル・ニーニョ期間中、同海域の大気へのCO2フラックスは大きく減少したことが示された。本研究では更に「みらい」等のデータと米国海洋大気庁太平洋海洋環境研究所(NOAA/PMEL)と大西洋海洋気象研究所(NOAA/AOML)が取得したデータを組み合わせ、赤道太平洋全域における大気へのCO_2フラックスを評価した。赤道太平洋から大気へのCO2フラックスは、1997/98エル・ニーニョ期間中の1998年1~2月に0.1±0.1 PgC/yr、逆にラ・ニーニャ的状況にあった2001年1~2月には0.9±0.4PgC/yrと見積もられた。これは大気中のCO2濃度増加率にしておよそ0.4ppm/yr程度の変動に相当している。

著者

畑 輝史 オブラン ピエールルイ 河野 健二

雑誌

研究報告システムソフトウェアとオペレーティング・システム(OS) (ISSN:21888795)

巻号頁・発行日

vol.2020-OS-150, no.7, pp.1-8, 2020-07-23

---

オンラインゲームにおけるスケーラビリティ向上のため,ゲームのコア・ロジックをクライアンサイドに移譲するようになっている.クライアントサイドのコア・ロジックは原理的に覗き見・改竄が可能であり,いわゆるチート行為の防止・検出が困難となっている.本論文ではチート耐性とスケーラビリティを同時に達成するアーキテクチャを提案する.チート耐性を高めるために Trusted Execution Environment (TEE) を使用し,スケーラビリティのためにピア・ツー・ピア型を採用する.コア・ロジックを TEE 内で実行することで,悪意のあるクライアントからセンシティブなデータおよびコードを保護し,覗き見や改竄を防止する.TEE として Intel SGX を利用し,ZDoom という実際のファーストパーソン・シューティング型のゲームに適用したところ,原理的にチート耐性が向上しているにもかかわらず,チート耐性の低いアーキテクチャと同等のスケーラビリティを達成できることを示す.

著者

新津 翔也 天野 萌 小澤 樹 河野 健斗 杉田 一真 鈴木 譲 豊田 凜 平川 和奈 深澤 颯 真鍋 武士 大沼 博靖

出版者

日本スポーツ産業学会

雑誌

スポーツ産業学研究 (ISSN:13430688)

巻号頁・発行日

vol.31, no.4, pp.4_469-4_472, 2021 (Released:2021-10-15)

参考文献数

4

著者

縣 直道 大須賀 敦俊 窪田 貴文 河野 健二

雑誌

研究報告システムソフトウェアとオペレーティング・システム(OS) (ISSN:21888795)

巻号頁・発行日

vol.2017-OS-141, no.9, pp.1-6, 2017-07-19

---

仮想化を利用したクラウド環境では,ひとつの仮想マシン上でひとつのアプリケーションのみを動作させる構成が一般的になっている.このようなクラウド環境の構成に特化した OS が提案 ・ 開発されている.これらの OS では,アプリケーション間の保護をハイパーバイザに任せることで機能を削減し,軽量化 ・ 省メモリ化を実現している.さらに,ベアメタルハイパーバイザ上で動作させることで,OS をアプリケーションに特化させることも可能である.一方で,プロセスの機能を提供しないため,マルチプロセスで動作するアプリケーションに対応することができない.また,ホスト OS の機能を利用することでマルチプロセスに対応した仮想化環境特化 OS の場合,ホスト OS が提供していない機能を実装することができない.本論文では,単一アドレス空間内で複数のプロセスを擬似的に実行させる手法を提案する.これによって,ホスト OS の存在を前提にせずマルチプロセスに対応することができ,既存のクラウド環境特化 OS と同様の軽量化を可能にする.

著者

河野健二編

出版者

岩波書店

巻号頁・発行日

1977

著者

大島 昇 北野 洋子 形埜 まり江 河野 健三 福嶋 美津子 山本 晃 藤田 裕司

出版者

大阪教育大学

雑誌

大阪教育大学紀要. V, 教科教育 (ISSN:03893480)

巻号頁・発行日

vol.54, no.1, pp.213-223, 2005-09-30

被引用文献数

1

---

特殊教育から特別支援教育への転換が迫られている折から,大阪教育大学附属養護学校における個別の教育支援の実状を1事例に即して紹介した。事例は知的障害及び場面緘黙症と診断された女子生徒で,高等部入学後3年間の取り組みの経過を,それに連携的にかかわったクラス担任,進路支援担当者,プレイセラピー担当者,養護教諭,精神科校医らの記録に基づいて要約する、とともに,場面緘黙症の生徒への教育支援の在り方について若干の考察を加えた。

著者

山木田 和哉 山田 浩史 河野 健二

雑誌

研究報告 システムソフトウェアと オペレーティング・システム(OS)

巻号頁・発行日

vol.2011, no.4, pp.1-11, 2011-07-20

---

可用性の高いサービスを実現するために,オペレーティングシステム (OS) には高い信頼性が求められる.しかし,現在の OS 内部には多くのバグが含まれており,カーネルクラッシュの原因となっている.古くからカーネルクラッシュに対し広く用いられているリカバリ手法として,OS の再起動が挙げられる.OS 再起動はシンプルかつ強力なリカバリ手法であり,カーネルクラッシュの原因を特定せずとも,システムを復旧することができる.しかし,OS の再起動には時間を要するという問題点も存在する.これは,OS 再起動がハードウェアやカーネルの初期化など,多くの煩雑な手順を踏まなければならないためである.そこで本研究では,システム起動フェーズの再現性に着目した OS の再起動高速化手法 Phase-based Reboot を提案する.Phase-based Reboot では,OS 起動時の動作を実行フェーズ毎に分割して,システムの状態を保存する.そして,OS 再起動時に,過去の OS 起動時と同じ動作をする場合は,過去の実行フェーズを再利用することで,迅速に再起動と同等の効果を得る.また,Phase-based Reboot を Xen 3.4.1 上で稼働する Linux 2.6.18 内に実装し,評価実験を行った.実験では,既存の OS 再起動に要する時間を約 34% から 94% 削減できることを確認した.Although operating systems (OSes) are crucial to achieving high availability of computer systems, modern OSes are far from bug-free. Rebooting the OS is simple, powerful, and sometimes the only remedy for kernel failures. Once we accept reboot-based recovery as a fact of life, we should try to ensure that the downtime caused by reboots is as short as possible. Unfortunately, OS reboots involve significant downtime, which is unacceptable in commercial services. This paper presents "phase-based" reboots that shorten the downtime caused by reboot-based recovery. The key idea is to divide a boot sequence into phases. The phase-based reboot reuses a system state in the previous boot if the next boot reproduces the same state. A prototype of the phase-based reboot was implemented on Xen 3.4.1 running para-virtualized Linux 2.6.18. Experiments with the prototype show that it successfully recovered from kernel transient failures inserted by a fault injector, and its downtime was 34.3 to 93.6% shorter than that of the normal reboot-based recovery.