著者

高橋 由明

出版者

中央大学

雑誌

商學論纂 (ISSN:02867702)

巻号頁・発行日

vol.56, no.5, pp.185-249, 2015-03

著者

花田収悦 高橋宗雄 長野宏宣 田野実裕之

雑誌

情報処理学会研究報告ソフトウェア工学(SE)

巻号頁・発行日

vol.1982, no.44, pp.1-10, 1982-11-30

---

大規模ソフトウェアシステムを対象とするバグ原因解析自動化方式及びこれに基づく試作経験について述べる。大規模ソフトウェアの運用開始後のバグ原因解析は,その開発に従事した熟練者の知識に依存しているのが現状である。運用サービス中に発生したバグの原因解析のための情報としては,システムが内部矛盾を検出した時点で出力されるメモリ情報のダンプリストが与えられる。その解析の手順はシステムを構成するプログラムのデータ領域の内容から実行の経過や矛盾を生じた原因を推定するものである。この手順のうち,データ内容の検索と値のチェックについては機械化による高速かつ網羅度の高い作業が可能と考えられる。ここでは,プログラム中で使用するデータ構造に対して与えられたデータチェック条件を用いて,バグ発生時,あるいはバグ再現時のメモリ内容を自動チェックする方式について提案し,この方式の試作システムCHASE (CHecking and Analyzing System for program Errors)について述べる。はじめに既存のテストデバッグ自動化方式で採られてきたソースコードへのチェック条件挿入法(アサーション)を大規模システムへ適用する場合の問題点と我々の採った解決法について述べる。次に,チェック条件の記述方法とこれを基にしたデータ診断の実現方法について述べる。更に,チェック対象とするメモリ情報の収集方法を示し,このうちの1つであるバグ再現時の実行履歴の圧縮方法について述べる。最後に,試作したCHASEを2つのコンパイラのバグ解析に適用した結果について述べる。

著者

奥田 統己

出版者

札幌学院大学

雑誌

札幌学院大学人文学会紀要 (ISSN:09163166)

巻号頁・発行日

vol.48, pp.269-281, 1990-12

著者

平田 健正

出版者

公益社団法人 日本地下水学会

雑誌

地下水学会誌 (ISSN:09134182)

巻号頁・発行日

vol.30, no.4, pp.223-230, 1988-11-24 (Released:2012-12-11)

参考文献数

12

被引用文献数

1

著者

根橋 邦明 遠藤 光宣 松嶋 晃憲

雑誌

全国大会講演論文集

巻号頁・発行日

vol.37, pp.202-203, 1988-09-12

---

ソフトウェア開発において,言語翻訳リストやダンプリストのプリンタ出力量は多大なものであり,出力リストの管理方法に対する問題が叫ばれている.そこで, - 保管スペースが少なくて済み,且つ - 効率良く資料を参照できるもの の必要性が増している. 具体的方法として,プリンタ装置の出力リストをコピー機等を介し,縮小した資料を保存することが考えられるが,用紙代等のコスト面に対する問題が発生する.現在,プリンタ装置の出力結果をそのまま保存資料にできるカット紙出力のプリンタ装置が普及しつつある.しかし,センタープリンタ装置としては,依然として連帳用紙出力の高速プリンタ装置に対する需要があり,多量の印刷出力を求められている.そこで我々は, - 実現の即座性 - 低コスト(ユーザーが負担するコスト)を考慮し,連帳用紙出力のプリンタ装置の出力リストをそのまま保存資料にでき,同時に出力リストの減量を図れる機能をソフトウェアで実現することを考えた.本稿ではJEF(Japanese processing Extended Feature)システムを利用して,連帳用紙出力のプリンタ装置による出力リストの縮小印刷を可能とした一方式について説明する.

著者

諸星 敏一 星 仰 幾志 新吉

出版者

Japan Society of Photogrammetry and Remote Sensing

雑誌

写真測量とリモートセンシング (ISSN:02855844)

巻号頁・発行日

vol.21, no.3, pp.34-41, 1982

---

GMSのCCTデータのパラメータ部と画像の一部のフォーマット変換とリスト処理の手法を開発した。<BR>このフォーマット変換は, データコントロールパラメータと記述文コントロールパラメータを用いて, バッファメモリ上で編集しながら処理を行うものである。<BR>このフォーマット変換を用いれば, 見出し, ページ, 項目番号, 記述文, データの位置, データの長さ, 副記述文を付加し文字型に変換されたパラメータ部のデータが得られる。また, 画像データ部の1ラインのダンプリストが10進数と16進数で得られる。<BR>この手法は, LANDSAT-MSS, LANDSAT-RBV, NOAAのCCTデータにも応用できる。<BR>LANDSAT-RBVとNOAAに関しては, すでにフォーマット変換を実行している。<BR>この変換手法を利用することによる利点はつぎのとおりである。<BR>1) パラメータ部のデータの内容が理解しやすくなる。<BR>2) 画像データのダンプリストにより, 画像のレベルを解析以前に知ることができる。<BR>3) 将来確立が予想される, リモートセンシングデータの統一的なデータ管理システムに応用できる。

著者

MIYAMOTO Akihiko WATANABE Shigeyuki

出版者

Japan Primary Care Association

雑誌

General medicine (ISSN:13460072)

巻号頁・発行日

vol.12, no.2, pp.51-60, 2011-12-01

被引用文献数

2 10 9

---

<b>Background:</b> Rapid and accurate diagnosis is essential for containing the novel influenza A/H1N1 pandemic. Polymerase chain reaction (PCR) testing is an accurate diagnostic method, but it is not routinely available worldwide. We herein evaluated the usefulness of pharyngeal "influenza follicles" in diagnosing seasonal influenza and influenza A/2009 (H1N1) pdm.<br><b>Methods:</b> Between August 3 and October 29, 2009, we evaluated 87 patients with influenza-like symptoms. Twenty-three had influenza follicles (22 on initial evaluation; 1 on follow-up) while 64 did not. Considering these two groups, we then compared the positive cases using rapid diagnostic testing (confirmed by PCR). In addition, 419 cases of seasonal influenza diagnosed between 2003 and 2009 were examined for the presence of influenza follicles based on Miyamoto's 2007 definition⁹, and new exclusion criteria were developed.<br><b>Results:</b> Among the 23 patients with influenza follicles, 21 were diagnosed with novel influenza. Of these, follicles were present on initial evaluation in 20 and on follow-up in 1. None of the 64 patients without influenza follicles were diagnosed with influenza (sensitivity 100%, specificity 97%). Among the 419 patients diagnosed with seasonal influenza between 2003 and 2009, influenza follicles occurred in all type A/H3N2, A/H1N1, and B cases (sensitivity 95.46%, specificity 98.42%). Thus, follicles were considered a specific sign of influenza.<br><b>Conclusion:</b> Influenza follicles occur in both seasonal and novel influenza. This identification method has higher diagnostic sensitivity and specificity than rapid diagnostic testing and is a promising clinical tool for diagnosing influenza when PCR is unavailable, or in pandemic situations.

著者

中山 貴夫 宮下 健輔

雑誌

研究報告インターネットと運用技術(IOT) (ISSN:21888787)

巻号頁・発行日

vol.2017-IOT-36, no.39, pp.1-7, 2017-02-24

---

京都女子大学では,2015 年 9 月のサーバシステム更改において学内に仮想化基盤を構築し,2015 年 10 月から Web ・ DNS ・ ファイルサーバなど学内の主要なサービスを移行した.しかし,メールについては従来の Web メールサービスを廃止して SMTP ,POP ,IMAP サーバの提供にサービス方針を変更した.そこで 2016 年 9 月末までの 1 年間をユーザへの周知及び移行期間として旧システムと新システムを並行稼働し,2016 年 9 月末に旧メールシステムを停止した.本稿では,メールサーバのログからユーザのサービス移行状況や利用状況を分析した結果を報告するとともに,今後のメールサービスのあり方について検討する.

著者

田中 大海 城戸 翔大 長田 智和 谷口 祐治

雑誌

研究報告インターネットと運用技術(IOT) (ISSN:21888787)

巻号頁・発行日

vol.2017-IOT-36, no.38, pp.1-4, 2017-02-24

---

琉球大学工学部情報工学科では,システム管理チームと呼ばれる有志の学生が,教員の指導の下で教育情報システムの設計 ・ 構築を行い,運用している.現在運用しているシステムは平成 27 年 10 月に初期構築されたものである.本システムは運用開始から 1 年が経過し,システム管理チームはさまざまなトラブル対応や運用の改善を行ってきた.本発表では,本学科における学生による教育情報システムの運用管理に関する取り組みを報告する.

著者

石橋 正二郎

出版者

一般社団法人 日本ゴム協会

雑誌

日本ゴム協会誌 (ISSN:0029022X)

巻号頁・発行日

vol.32, no.1, pp.3-3, 1959 (Released:2008-04-16)

著者

庄井 良信

出版者

一般社団法人日本教育学会

雑誌

教育學研究 (ISSN:03873161)

巻号頁・発行日

vol.69, no.4, pp.442-451, 2002-12-30

被引用文献数

1

---

The cytotropism of clinical pedagogy, whose aore is the theory of developmental support based on the comprehensive humanics, begins to deconstruct/re-construct the paradigm of contemporary pedagogy.It is academically influenced by the earthshaking changes in natural sciences such as complex systems or autopoiesis that focuses on the vacillation of the chaos and poiesis, by the turning movement to the unique concreteness in social science, and also by the revival of H.Wallon's theory and of authentic L.S.Vygotsky's theory(narrative psychology or cultural historical activity theory) in cultural sciences and theoried of development.During the present time, the theory of development support that consructs the core of the cytotropism has some theoretical tendencies as follows: the developmental supports of the post-authoritarianism and peer narrative, the pos-tindividualistic and community expansive, and the post-paternalistic and client empowermental.Thesee tendenciess are embossed with the agenda of clinical knowledge of education in the intermixed and oveerlapped field as follows.1)Narrative community as one of the most primitive metaphors of the developmental support/2)Narrative empowerment as hearing and talking with the agent dialogically to change the activity systems.3)Community empowerment as intervention to create the expansive activity systems.At the bottom of these ideas, there is the socaled 'neo-modern paradigm'.This current paradigm puts emphasis on the articulation of subject-object in the schema of interactive monism between subject and object, and on the epistemology of creative imagination based on the collaborative change of not only the subjective meaning but also the the ojective reality.In this paradigm, the identity of 'cogito' once de-construct in the context of monophonic interaction, after that, the identity of 'imago' re-construct in the context of polyphonic interaction, and at last, it elucidates the outline and trajectory of transfering identity of 'nom propre'.One of the most important research field of the learning community including the ordinal instructions that contains a main topos of the school clinical activites.In addition, it must be also important to irradiate/reradiate the boundary crossing fields of authentic pedagogy (psychology, sociology, philosophy, medical science, and welfare theory etc.) in view of these innovations od clinical pedagogy.It would be necessary for clnical pedagogy to accumulate the case studies of the interventional research to seek out emergent multiple frameworks to analyze and describe the critical disturbances of the community/individual development as Y.Engestrom's DWR designed in an E.Levinas' or a H.Wallon's mode.

著者

小野 展嗣

出版者

国立科学博物館

雑誌

Bulletin of the National Science Museum. Series A, Zoology (ISSN:03852423)

巻号頁・発行日

vol.30, no.2, pp.67-75, 2004-06

---

Zodariid spiders of the genera Asceua Thorell, 1887, Mallinella Strand, 1906, and Akyttara Jocque, 1987, obtained from Dambri in Lam Dong Province, southern Vietnam, are reported. Four new species are described under the names, Asceua piperata, Mallinella momoina, Mallinella dambrica and Akyttara odorocci. The holotype (female) of Asceua torquata (Simon, 1909) described from Hanoi, northern Vietnam, was re-examined and illustrated for a comparison with the new species. Both the Asceua species closely resemble each other in the shape of epigynum. Mallinella dambrica seems to be related to M. klossi (Hogg, 1922) known from Lang Biang, about 100km apart from Dambri in a northeastern direction, while M. momoina shows peculiar characters in the genus, especially those of the structure of female genitalia. The genus Akyttara was discovered in Asia for the first time.

著者

佐久間 亜紀

出版者

日本教育社会学会

雑誌

教育社会学研究 (ISSN:03873145)

巻号頁・発行日

vol.86, pp.97-112, 2010-06-30

---

本稿では,90年代以降の教員養成カリキュラムの変容とその問題点を,高等教育全体の改革動向に位置づけて整理した。先行研究において,教員養成論と高等教育論は乖離しがちであり,近年の高等教育改革が教員養成カリキュラムに及ぼした影響は,充分に検討されてこなかった。高等教育全体に市場原理を導入する90年代以降の改革は,教員養成大学・学部と教育委員会の「連携」を「融合」ともいえる状態にまで至らしめ,大学教育の質を向上させるという本来の意図とは裏腹に,教員養成力リキュラムの「矯小化」や「非学問化」を進行させていた。また,90年代にいったんは規制緩和に向かった教免法の改革は,00年代以降「再統制化」の傾向を強め,教員養成カリキュラムの「規格化」を進行させていた。そして教員養成大学・学部は,学生の成長を支援し教員を「養成」する機関から,国や地方自治体の求める規格や要望にあわせて教員を「供給」する機関へと変質しつつあった。これらの変化から,改革の意図とは裏腹に,輩出される教員の「質」が低下している可能性を指摘した。最後に,大学とは何かという共通理解が失われた高等教育界の現状を踏まえれば,先行研究の鍵語とされてきた「大学における教員養成」「開放制」という二語では,もはや近年の教員養成の変容を捉えきれなくなっていることを指摘した。その上で,今後の教員養成研究は,高等教育論に充分根ざしつつ探究される必要があることを論じた。

著者

小林 圓照

出版者

禅文化研究所

雑誌

禅文化 (ISSN:05143012)

巻号頁・発行日

no.243, pp.125-132, 2017

著者

小笠 幸子 坂本 雅代 羽山 由美子 荒木 孝治 森川 英子

出版者

大阪府立大学看護学部

雑誌

大阪府立大学看護学部紀要 (ISSN:18807844)

巻号頁・発行日

vol.13, no.1, pp.77-84, 2007

---

本研究の目的は,患者アドボカシー相談活動における相談者と相談対応者の関わりのなかで,対応者の援助内容と相談者のエンパワメントの形成過程について明らかにすることである。過去48事例の相談記録の中から,対応者が認識したエンパワーされたと考える相談者のポジティブな変化のみられた22事例を対象に内容分析によるカテゴリー抽出を行った。その結果,対応者の"理解・受け止め""問いかけ・振り返り""提案・指示""情報提供""支持""助言・指導"など6つの援助を通して,"相談者自身が気持ちを表出する""気持ちが落ち着く""問題の整理と意識化""問題解決方法を考える""問題解決行動への意思決定"の5つの局面でエンパワメント形成が認められた。

著者

佐藤 竜也 長沼 健 根本 潤 福地 開帆 山田 仁志夫

雑誌

研究報告インターネットと運用技術(IOT) (ISSN:21888787)

巻号頁・発行日

vol.2017-IOT-36, no.30, pp.1-8, 2017-02-24

---

ブロックチェーン技術は破壊的イノベーションとして,金融をはじめとした様々な分野で実用可能性が検討されはじめている.ブロックチェーン技術はトランザクションシステムへの適用が期待されているが,その実用化に向けてはトランザクション性能を中心とした現在の実力と残課題の把握が必要である.そこで報告者はブロックチェーン基盤のオープンソースソフトウェアプロジェクトである Hyperledger の基盤実装の一つである Fabric について,モニタリングを含めた検証環境を構築し,性能を中心とした評価を行った.さらに,評価結果に基づいて,実用化に向けた技術課題を抽出した.

著者

郵政省編

出版者

吉川弘文館

巻号頁・発行日

1968

著者

藤本 大地 前田 香織 近堂 徹 大石 恭弘 相原 玲二

雑誌

研究報告インターネットと運用技術(IOT) (ISSN:21888787)

巻号頁・発行日

vol.2017-IOT-36, no.24, pp.1-6, 2017-02-24

---

スマートフォンやタブレット等のモバイル端末 (以下,端末) の普及に伴い,端末からのクラウドサーピス利用が拡大している.端末ではリソースの制約から高負荷な処理や大量のデータ保持が難しい場合があり,Mobile Cloud Compming (MCC) により処理の一部をクラウドヘオフロードできることが望ましい.そのためには,端末とクラウドとで連携したアプリケーション動作が必要となるため,ネットワーク接続性とアプリケーション応答性が重要となる.そこで本研究では,MCC の処理モジュールとして仮想マシン (VM) を想定し,ネットワーク遅延情報に基づいた VM の動的マイグレーションを支援するシステムを開発する.プロトタイプシステムでは OpenFlow を用いて VM と端末間の経路遅延情報を収集し,VM のマイグレーション先を選択する.加えて VM と端末の両者に対して移動透過通信機能を提供することで,サービス応答性の低下を抑制しつつ通信継続性を確保したライブマイグレーションが可能であることを示す.

著者

白井 健二 天野 佳則 井上 和夫

出版者

一般社団法人 電気学会

雑誌

電気学会論文誌C(電子・情報・システム部門誌) (ISSN:03854221)

巻号頁・発行日

vol.118, no.10, pp.1485-1492, 1998-10-01 (Released:2009-10-02)

参考文献数

9

---

The purpose of this paper is to theoretically identify that there exist stationary distributions in the system with transaction lost. In order to examine this type of system, we formulate and analyze the input/output process as the counting process based on point process. Accordingly, we make clear that this stationary distributions are the geometrical distributions as well. We, also analyze the average transit time in the stationary. We presented the simulation results in order to evaluate this system.

著者

西野 順二

出版者

社団法人 人工知能学会

雑誌

人工知能学会全国大会論文集

巻号頁・発行日

vol.8, pp.59-59, 2008

---

本発表が与える問題提起と視点は、人間にも一定の負担を与え現状よりやや高いが獲得可能なスキルを仮定・要求したうえで人工物を設計し、トータルシステムの目標を達成しようという、人に優しくない設計モデルである。このモデルにスキルトロニクスという名を与え、新規に製作したジャグリング用具を例にして議論を行う。