著者

福山 裕輝 舩曵 信生 中西 透 天野 憲樹

出版者

情報処理学会

雑誌

研究報告コンピュータと教育(CE) (ISSN:09196072)

巻号頁・発行日

vol.2010, no.21, pp.1-8, 2010-02-27

被引用文献数

3

---

本グループでは,これまで Java プログラミング教育における学生の学習支援,教員の負担軽減を目的として,テスト駆動型開発手法による,その支援システムを提案している.本システムでは,教員は,まず課題に対する模範解答コードとテストコードを登録する.次に学生は,テストコードを仕様書として解答コードを作成・提出する.その上でシステムがその自動検証を行う.本稿では,学生のソフトウェアテストに関する知識を深め,正しいコード仕様作成のための教育支援を目的として,学生によるテストコードの作成・提出を可能とするシステムの拡張を行う.併せて,本システムの実用性を高めるため,複数の講義科目での利用,セキュアなプログラムテスト環境の構築も行う.後者は,学生の不完全なコードが及ぼすシステムへの悪影響の抑制を狙いとしている.学生 25 名による評価実験により,本システムの有効性を示す.Based on the test-driven development (TDD) method, we have developed a Web-based Java programming education support system to help learning activities of Java programming by students and to reduce loads by teachers. Using a software tool for the TDD method called JUnit, this system can verify the source codes made by students automatically after the teacher register the correct source code and the test code for the assignment. However, this system has three drawbacks. The first drawback is that it can be used at only one class. The second one is that it may not work properly if students submit codes containing errors and incorrect procedures. The third one is that it does not allow students to make test codes, although the programming of test codes can help the understanding of software tests and software designs. In this study, we expand this Java programming education support system so that it can solve the three drawbacks. Particularly, for the last expansion, it asks teachers to register the code specification in the assignment in addition to the correct code and the test code. Through experiments to 25 students, we verify the effectiveness of our proposal.

著者

川島 潤 船曵 信生 中西 透 竹内 順一 石崎 雅幸 Souza Andre Caldas

出版者

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

雑誌

電子情報通信学会技術研究報告. OIS, オフィスインフォメーションシステム (ISSN:09135685)

巻号頁・発行日

vol.105, no.41, pp.19-24, 2005-05-06

---

メモリカードは, 屋外に持ち出されることの多い着脱可能な記録メディアであるため, 盗難や紛失による情報漏洩が問題となっている.メモリカードでは, その盗難時にカードデータ全体が漏洩してしまうため, カード内ファイルデータの暗号化のみならず, ファイル管理情報の暗号化を行うことで安全性を高める必要がある.本論文では, Linuxをベースに, OSの変更が不要で, 従来のセキュアファイルシステムが提供していない, メタデータの暗号化が可能でファイル単位でのセキュリティ設定が可能なセキュアファイルシステムSAS (Storage Add-on Security)の設計・実装を行い, その性能を評価する.

著者

松島 由紀子 舩曵 信生 中西 透

雑誌

研究報告バイオ情報学(BIO)

巻号頁・発行日

vol.2009-BIO-19, no.13, pp.1-6, 2009-12-10

---

本論文では,忙しいライフスタイルの人が,効率よく食事を作ることを目的として,多種料理の調理順最適化アルゴリズムを提案する.まず,材料の加工,加熱,鍋の洗浄からなるキッチンモデルを定義する.その上で,各料理の調理順探索問題を組合せ最適化問題として定式化し,シミュレーティッド・アニーリングを用いたアルゴリズムを提案する.Java 言語を用いて本アルゴリズムを実装し,例題として 6 種類の料理を与えて評価を行った結果,実際の調理結果とは約 15 分の誤差が生じたが,多種料理の調理順最適化に有効であることが明らかとなった.

著者

上村 香菜子 舩曵 信生 中西 透 ファラグ ターメル

出版者

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

雑誌

電子情報通信学会技術研究報告. NS, ネットワークシステム (ISSN:09135685)

巻号頁・発行日

vol.107, no.261, pp.57-62, 2007-10-11

参考文献数

14

被引用文献数

5

---

本研究グループでは,無線による広域でのインターネットアクセスを実現する,スケーラブルな無線メッシュネットワークWIMNET(Wireless Internet-access Mesh NETwork)の研究を進めている.WIMNETは,互いに無線通信を行う複数のアクセスポイント(AP)で構成され,その1つ以上がインターネットアクセス用ゲートウェイ(GW-AP:GateWay Access Point)となる.各ホストは近傍のAPにアクセス後,AP間のマルチホップ通信によるGW-AP経由でインターネットに接続する.そのため,WIMNETでは,GW-AP付近の通信リンクでの伝送遅延,および,各APからGW-APまでの伝搬遅延の増大が性能低下の要因となっている.本論文では,その改善のために,最大通信遅延の最小化を目的としたAP間経路木生成問題の定式化とアルゴリズムの提案を行う.WIMNETシミュレータを用いたシミュレーションにより,その有効性を示す.

著者

石山 美由紀 渡辺 正 黒澤 大樹 氷室 裕美 鈴木 久也 宇賀神 智久 中西 透 渡部 洋

出版者

日本産科婦人科内視鏡学会

雑誌

日本産科婦人科内視鏡学会雑誌 (ISSN:18849938)

巻号頁・発行日

vol.35, no.2, pp.345-351, 2019

---

<p><b>Objective:</b> To report our experience with the management of two cases of chronic tubal pregnancy by laparoscopic surgery.</p><p><b>Case 1:</b> A 37-year-old woman presented to our hospital with a small amount of genital bleeding at 10 weeks and 3 days of gestation, calculated from the date of her last menstrual period. Serum human chorionic gonadotropin level was elevated to 108.5 mIU/mL and transvaginal sonography (TVS) revealed a 52-mm diameter of irregularly shaped left periovarian mass. Magnetic resonance imaging (MRI) also showed a periovarian cystic mass with suspicion of an old hemorrhage. We performed laparoscopic left salpingectomy after the diagnosis of chronic left tubal pregnancy.</p><p><b>Case 2:</b> A 31-year-old woman was referred to our hospital with suspected left tubal abortion at 16 weeks and 1 day of gestation. Both TVS and MRI revealed a left periovarian mass with a diameter of 40 mm. After the mass was diagnosed as chronic left tubal pregnancy under laparoscopic vision, left fallopian tube was preserved by salpingotomy. She achieved twin pregnancy by ovulation induction with clomiphene 7 months after laparoscopic surgery.</p><p><b>Conclusion:</b> Although preoperative diagnosis of chronic tubal pregnancy is difficult, laparoscopic approach would be feasible, especially when salpingotomy would be performed for future fertility preservation.</p><p></p>

著者

川島 潤 舩曵 信生 中西 透 竹内 順一 石崎 雅幸 ソウザ・アンドレ・カウダス

出版者

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

雑誌

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

巻号頁・発行日

vol.47, no.8, pp.2384-2395, 2006-08-15

参考文献数

16

被引用文献数

1

---

メモリカードに代表される可搬性メモリは,屋外に持ち出されることの多い着脱可能な小型記録メディアである.そのためメモリカードなどでは,その盗難や紛失時にカードデータ全体が漏洩してしまうことから,カード内ファイルデータの暗号化だけでなく,ファイル管理情報の暗号化を行うことで安全性を高める必要がある.そこで本論文では,Linux をベースに,OS・アプリケーションの変更が不要,メタデータの暗号化が可能,アクセス可能なアプリケーションを指定可能,といった特徴を有するセキュアファイルシステムSAS(Storage Add-on Security)を提案する.本論文では,SASの設計・実装の詳細説明を行ったうえで,ベンチマークソフトによる性能評価結果を報告する.A memorycard has weakness in assuring the safety of its stored data when it is stolen or missing. Therefore, a secure filesystem that can encrypt the stored data is essential in preventingthe risk from illegal users. Besides, the encryption of the metadata is desirable in this vulnerable memorycard to further strengthen the safety. In this paper, we present a design and an implementation of a secure filesystem named SAS (Storage Add-on Security) for a memorycard on Linux. SAS encrypts the metadata as well as the data, and can choose a securityoption to file by file, while the application programs accessible to SAS can be specified by system managers. SAS requires no change of the operating system when it is installed into PDA. The performance of SAS is investigated through a benchmark software.

著者

中西 透 横手 保治 武次 保之

出版者

日本醗酵工学会

雑誌

醗酵工学雑誌 (ISSN:03675963)

巻号頁・発行日

vol.51, no.10, pp.742-749, 1973-10

---

著者らはCorynebacterium glutamicumによるL-グルタミン酸発酵液中にしばしばL-プロリンを副生することを見出し, この副生プロリンを増加せしめ発酵法によってL-プロリンを製造することを目的として種々の検討を行なった.多数のL-グルタミン酸生産菌株についてL-プロリン生産能をしらべたところ, 殆ど全部の菌株に生産能を認めたが, また一方, L-プロリン生成蓄積能の強さは菌株によって大きな差が認められ, L-プロリン生成蓄積能の最も菌株としてC. glutamicum KY 9003を選択した. 本菌を用いてL-プロリンの生産条件を検討した結果, 高濃度の塩化アンモニウム存在下でビオチンを菌体の生育増殖に充分量与えることによってL-プロリンの生成蓄積がいちじるしく増大した. この場合L-グルタミン酸の生産は非常に少なく両因子の高濃度化によるL-グルタミン酸発酵からL-プロリン発酵への転換が判然と認められた. また塩化アンモニウムの効果はアンモニウムイオンと塩素イオンの相乗的作用によることが判明した. アルコール類の添加効果を検討しエタノール, プロパノールまたはブタノール等の添加が菌体の過剰生育を抑制するとともに, L-プロリンの生成蓄積をいちぢるしく増進した.以上の検討の結果にもとずき5l-ジアーファーメンターを用い, 糖濃度23%, 塩化アンモニウム6.0%, ビオチン50γ/l, エタノール1.5%を含む培地で培養し, 96~120時間でL-プロリン40mg/ml以上を蓄積した.

著者

松島 由紀子 舩曵 信生 中西 透

雑誌

研究報告数理モデル化と問題解決(MPS)

巻号頁・発行日

vol.2009-MPS-76, no.13, pp.1-6, 2009-12-10

---

本論文では,忙しいライフスタイルの人が,効率よく食事を作ることを目的として,多種料理の調理順最適化アルゴリズムを提案する.まず,材料の加工,加熱,鍋の洗浄からなるキッチンモデルを定義する.その上で,各料理の調理順探索問題を組合せ最適化問題として定式化し,シミュレーティッド・アニーリングを用いたアルゴリズムを提案する.Java 言語を用いて本アルゴリズムを実装し,例題として 6 種類の料理を与えて評価を行った結果,実際の調理結果とは約 15 分の誤差が生じたが,多種料理の調理順最適化に有効であることが明らかとなった.

著者

宮城 悦子 沼崎 令子 中西 透 片岡 史夫 猿木 信裕 井畑 穰 伊藤 則雄 吉田 憲生 新原 温子 村松 孝彦 今泉 明 山本 浩史 高須 万里子 光島 徹 杤久保 修 山門 實 青木 大輔 平原 史樹

出版者

公益社団法人 日本人間ドック学会

雑誌

人間ドック (Ningen Dock) (ISSN:18801021)

巻号頁・発行日

vol.26, no.5, pp.749-755, 2012 (Released:2012-07-13)

参考文献数

17

---

目的:血漿中アミノ酸濃度はがんを含む各種疾患により変化する.血漿中アミノ酸プロファイルから健康状態や疾病の可能性を把握する「アミノインデックス技術」は複数がんのスクリーニング法として臨床実用化されている.本研究は多施設共同試験により3種の婦人科がん(子宮頸がん,子宮体がん,卵巣がん)の判別を行う指標式を「アミノインデックス技術」を用いて導出し,その有用性を検討することを目的とした.方法:複数施設で子宮頸がん患者208例,子宮体がん患者186例,卵巣がん患者102例,婦人科良性疾患患者305例,健康人1,631例を対象として採血し,血漿中アミノ酸濃度をLC-MSにより測定した.結果:3種の婦人科がん患者の血漿中アミノ酸濃度変化は共通性が高く,婦人科がんのいずれかに罹患している可能性を判別する一つの指標式を「アミノインデックス技術」を用いて導出し,その判別性能評価を行った.導出された指標式の特異度95%での感度は子宮頸がん52%,子宮体がん58%,卵巣がん77%であり,いずれもⅠ期症例から高い感度を示した.また,子宮頸がんでは腺癌も高い感度を示す,子宮体がんではCA125より有意に感度が高い,卵巣がんではCA125と同程度の感度を示すなどの特徴を有していた.結論:「アミノインデックス技術」により導出された,3種の婦人科がんのいずれかに罹患している可能性を評価する一つの指標式は,3種の婦人科がんの簡便な血液検査のスクリーニング法として有用であることが示唆された.

著者

松島 由紀子 舩曵 信生 中西 透

出版者

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

雑誌

電子情報通信学会技術研究報告. AI, 人工知能と知識処理 (ISSN:09135685)

巻号頁・発行日

vol.110, no.301, pp.19-24, 2010-11-12

被引用文献数

4

---

本グループでは,社会人,学生,子育て家庭など,忙しい人の手料理支援を目的として,主調理者とその補佐役の副調理者による調理作業をシミュレーションすることで調理時間を算出する調理モデルと,それを用いた調理手順スケジューリングアルゴリズムを提案している.本論文では,調理時間精度の改善と利便性向上のために,これまで考慮していなかった,「電子レンジによる加熱」,「食材の混ぜ合わせ」の2つの調理手順に対する拡張を行う.また,拡張後のモデルを用いて,副調理者の実行可能手順の増加による調理時間の短縮効果を調査する.6種類の料理を用いた評価実験で,拡張後のモデルと実際の調理結果での時間差が約2分となり,調理時間精度の改善が確認された.また,様々な料理数での調理モデル計算により,副調理者の実行可能手順の増加と共に調理時間が短縮されることが示された.

著者

高木 省吾 渡邊 寛 福士 将 天野 憲樹 舩曵 信生 中西 透

出版者

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

雑誌

研究報告ハイパフォーマンスコンピューティング(HPC)

巻号頁・発行日

vol.2014, no.29, pp.1-8, 2014-02-24

---

ボランティアコンピューティング (VC) で高い性能を実現するためには,多数の参加者を集める事が重要である.しかし,既存の VC システムでは,参加に際して専用ソフトウェアのインストール等の手間がかかり,参加の障害となっている.そこで本研究では,参加者が Web ブラウザで指定の URL にアクセスするだけで即座に VC に参加することができるような,Web ベースの VC プラットフォームを提案する.提案するプラットフォームでは,PNaCl 等の LLVM 技術を用いることで,C/C++ で記述された計算問題を Web アプリ化し,ブラウザ上で高速に実行することができる.性能評価として,PNaCl を用いて姫野ベンチマークを Web アプリ化した場合,ネィティブアプリと同等の実行性能を実現できることを確認した.In Volunteer Computing (VC) systems, volunteer participants can contribute their idle computing resources by computing a piece of the computation (job) in their idle time. In existing VC systems, participants must put an extra effort, e.g. installing a dedicated software to their computers and register their personal E-mail addresses, which will be barriers to join as a participant. This paper proposes a web-based VC platform, in which participants can join to VC system by just accessing a specified URL with Web browsers. By using LLVM techniques such as PNaCL, VC jobs become convertible as fast-acting Web applications. As the results of our experiments based on Himeno Benchmark, we show that the performance of PNaCl codes on a web browser is equivalent of native one.

著者

舩曵 信生 岡山 聖彦 中西 透 東野 輝夫 尾崎 亮

出版者

岡山大学

雑誌

基盤研究(C)

巻号頁・発行日

2004

---

今年度の研究では,まず,本研究で採用しているピアツーピア通信専用のミドルウェアソフトであるPeerCastでの通信経路の問題点として,経路木が通常は最適なものとならないのに対して,それを動的に改善する機能がないことが知られている.今回,この問題に対し,通信中に経路木の一部を動的に変更するために,データロスなく,コネクションを繋ぎ替える機能の実装とその評価を行った.次に,専用のピアツーピア通信ソフトを用いた動画配信システムにおけるセキュリティホール,高通信負荷,リアルタイム制約,専用ソフトのインストールに伴うユーザ利便性の低下などの問題を解決するために,遠隔講義・テレビ会議などでの各シーンを,静止画と音声の組合せで再構成するデジタル紙芝居に着目し,そのWEB技術を用いた配信システムの研究を進めた.今回,本補助金の最終年に当たり,本システムのためのデータ入力・編集・配信の各プログラムを実装し,本学における実際の講義を用いて,評価を行った.その結果,デジタル紙芝居による講義シーンの再構成は実用的であり,学習への利用に有効であることが明らかとなった.更に,ピアツーピア技術の応用として,WEBキャッシュを信頼の置ける中継ホスト上や無線ルータ上に設けることで,無線メッシュネットワーク環境でもレスポンス性に優れた配信システムを実現した.この無線メッシュネットワークでは,デジタル紙芝居などのユビキタス環境での配信を目指して,高価な高性能ルータと安価な市販ルータで構成される二階層構造を提案した.前者には,信頼できるホストが随時その役割を担うこと,マルチホーム環境対応とすることで,柔軟性,拡張性,アクセス性を実現する.今回,そのためのホスト認証機能,複数チャネル機能,アドレス付与機能などを実現した.

著者

小路 朋也 井上 勇樹 舩曵 信生 中西 透 籠谷 裕人

出版者

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

雑誌

電子情報通信学会技術研究報告. NS, ネットワークシステム (ISSN:09135685)

巻号頁・発行日

vol.108, no.286, pp.105-108, 2008-11-06

被引用文献数

1

---

近年,計算機資源利用の効率化,システム管理の容易化などの利点から,サーバ構築に仮想化技術が用いられている.また,仮想サーバを用いたサーバクラスタシステムの構築手法も提案されている.本稿では,仮想化技術を用いた安全でスケーラブルなWebサーバシステムを提案する.提案システムでは,プラットフォームおよびシステム内データ通信路の安全性を確保するため,SSL認証による各Webサーバホストの正当性検証と暗号化通信を実現する.また,システム管理を容易とするために,システム管理ツールの採用により,OS,Webサーバなど実行環境の自動更新機能を実現する.システム管理ツールPuppet,システム監視・管理ライブラリRuby SNMP,仮想マシンモニタXenを用いて提案システムの実装を行った.本システムの評価実験の結果,短時間でWebサーバシステムの拡張が可能であることが明らとなった.

著者

中西 透 渡辺 創 藤原 融 嵩 忠雄

出版者

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

雑誌

電子情報通信学会技術研究報告. ISEC, 情報セキュリティ

巻号頁・発行日

vol.94, no.56, pp.19-26, 1994-05-20

被引用文献数

1

---

入札プロトコルでは,応札者とその応札価格の対応関係が他人に知られないという意味で,匿名性をもつことが望ましい.しかし,これまでに提案された匿名入札プロトコルでは,結託により匿名性が破られたり,落札価格が決定したときにその価格で応札した者が名乗りでない場合,落札者を発見できなくなり公平さが損なわれるなどの問題点がある.本稿では,このような問題を解消した否認不可電子匿名入札プロトコルを提案する.否認不可署名方式の一つについて,署名だけでは誰が署名したか他人に解らないという性質があることを示し,それをもとに入札プロトコルを構成する.