出版者

写

巻号頁・発行日

vol.[2],

著者

菅原 皓 岡部 弘基 船津 高志

出版者

日本DDS学会

雑誌

Drug Delivery System (ISSN:09135006)

巻号頁・発行日

vol.29, no.4, pp.354-356, 2014-09-25 (Released:2014-12-25)

著者

上瀧 剛

出版者

一般社団法人 システム制御情報学会

雑誌

システム/制御/情報 (ISSN:09161600)

巻号頁・発行日

vol.60, no.10, pp.431-436, 2016-10-15 (Released:2017-04-15)

参考文献数

13

著者

安部 真教 中村 清哉 比嘉 達也 大久保 潤一 垣花 学

出版者

一般社団法人 日本ペインクリニック学会

雑誌

日本ペインクリニック学会誌 (ISSN:13404903)

巻号頁・発行日

vol.22, no.4, pp.533-536, 2015 (Released:2015-11-07)

参考文献数

11

---

今回,有痛性糖尿病性神経障害の下肢痛に対してプレガバリンの漸増中に低血糖の頻度が増加し,インスリン投与量の調節に難渋した症例を経験した.症例は50歳,女性.有痛性糖尿病性神経障害で両下肢痛としびれがあった.プレガバリン50 mg/日の眠前内服を開始し,75 mg/日に増量後に眠気・ふらつきが出現したため,内服量を50 mg/日と75 mg/日の交互に変更した.鎮痛効果は高かったが,低血糖の頻度が増加したため内科へ入院となった.入院期間27日中の低血糖は11回,そのうち朝に9回発生した.インスリン投与量は,持効型が入院期間中に22単位から18単位に,超速効型が毎食後7単位から5単位に減量された.糖尿病性神経障害の治療は,高血糖を予防し,厳重に血糖管理を行うことが重要である.痛みの治療経過中に低血糖の頻度が増加し,血糖管理に難渋した.インスリン過量,インスリン感受性の改善が低血糖の原因として考えられた.

著者

青山延光

出版者

写

巻号頁・発行日

vol.[4],

著者

今浜 通隆

出版者

梅光学院大学

雑誌

日本文学研究 (ISSN:02862948)

巻号頁・発行日

vol.15, pp.37-48, 1979-11-01

著者

鍛治谷 静

雑誌

四條畷学園短期大学紀要 = Annual reports of Shijonawate Gakuen Junior College

巻号頁・発行日

vol.46, pp.41-43, 2013

著者

スコット 著

出版者

春陽堂

巻号頁・発行日

vol.前, 1887

著者

ビーコンスフィールド 著

出版者

[春陽堂]

巻号頁・発行日

1887

著者

牛山鶴堂 著

出版者

春陽堂

巻号頁・発行日

vol.[上編], 1887

著者

牛山鶴堂 (良助) 著

出版者

成文堂

巻号頁・発行日

1887

著者

牛山良介 編

出版者

牛山良介

巻号頁・発行日

1891

著者

デフォー 著

出版者

春陽堂

巻号頁・発行日

1887

著者

牛山良介 編訳

出版者

佐藤乙三郎

巻号頁・発行日

1887

著者

牛山良助 著

出版者

成美堂[ほか]

巻号頁・発行日

1887

著者

浦 和男

出版者

関西大学国文学会

雑誌

國文學 (ISSN:03898628)

巻号頁・発行日

vol.101, pp.303-318, 2017-03-01

著者

松下 紘資 Thieu Quang Tuan Nguyen Quang Luong Le Tuan Hai 滝 泰臣

出版者

公益社団法人 土木学会

雑誌

土木学会論文集B3(海洋開発) (ISSN:21854688)

巻号頁・発行日

vol.68, no.2, pp.I_318-I_323, 2012 (Released:2012-09-18)

参考文献数

7

---

異常気象や台風の大型化により設計波高を超える外力が作用する頻度が高くなっており,消波ブロックを利用した消波構造物の重要性が高まっている.本研究では,かみ合わせの強化を目指した2種類の新しい消波ブロックを用いた傾斜堤において水理模型実験を実施し,新型ブロックの安定数算定式を提案した.さらに既存ブロックとの比較により,傾斜堤用消波ブロックとしての安定性能について考察した.その結果,いずれの新型ブロックも同種の既存ブロックに比べて,非常に高い安定性能を有していることがわかった.さらに2種類の新型ブロックのうち,軸を持つ形状の新型ブロックは,被害が始まってからの波高の増加に伴う被害の広がりが遅く,構造的に崩れにくく粘り強さを持っていることがわかった.

巻号頁・発行日

vol.[50], 1000

著者

今治 安弥 上田 正文 和口 美明 田中 正臣 上松 明日香 糟谷 信彦 池田 武文

出版者

日本森林学会

巻号頁・発行日

vol.95, no.3, pp.141-146, 2013 (Released:2014-02-21)

---

タケが侵入したスギ・ヒノキ人工林の衰退・枯死原因を検討するため,水分生理的な観点から調査した。モウソウチクあるいはマダケと木-竹混交林となったタケ侵入林に生育するスギ・ヒノキのシュートの日中の水ポテンシャル(ψw mid)は,タケ未侵入林に生育するスギ・ヒノキよりも低くなる傾向があった。タケ類のψw midは,スギ・ヒノキよりも著しく低い値を示したが,モウソウチクのシュートの夜明け前の水ポテンシャル(ψw pd)はほぼ0となり,夜間の積極的な水吸収を示唆した。さらに,すべての調査地でタケ類の根密度はスギあるいはヒノキよりも5~14倍程度高かった。タケ侵入林のスギでは,ψw midはシュートの細胞が圧ポテンシャルを失うときの水ポテンシャルと同程度の値を示した。これらの結果は,タケ侵入林に生育するスギ・ヒノキは,地下部の競争によってタケ未侵入林のスギ・ヒノキよりも水不足状態になることがあり,それらの中には,シュートの細胞が圧ポテンシャルを失うほど厳しい水不足状態に陥っている場合があることを示唆した。

著者

二木 厚吉 緒方 和博 中村 正樹 Kokichi Futatsugi Kazuhiro Ogata Masaki Nakamura 北陸先端科学技術大学院大学情報科学研究科 北陸先端科学技術大学院大学情報科学研究科 北陸先端科学技術大学院大学情報科学研究科 Graduate School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Graduate School of Information Science Japan Advanced Institute of Science and Technology (JAIST) Graduate School of Information Science Japan Advanced Institute of Science and Technology (JAIST)

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.25, no.2, pp.1-13, 2008-04-24

参考文献数

6

被引用文献数

3

---

CafeOBJ言語システムを用いた形式手法,すなわち形式仕様の作成法と検証法,を全6回にわたり解説する.CafeOBJ言語はOBJ言語を拡張した代数仕様言語であり,振舞仕様,書換仕様,パラメータ化仕様などが記述できる最先端の形式仕様言語である.CafeOBJ言語システムは,等式を書換規則として実行することで等式推論を健全にシミュレートすることができ,対話型検証システムとして利用出来る.第1回の今回は,「待ち行列を用いる相互排除プロトコル」を例題として,言語や検証法の細部に立ち入ることなく,CafeOBJ仕様の作成と検証が全体としてどのように行われるかを説明する.第2回以降では,言語の構文と意味(第2回),等式推論と項書換システム(第3回)について説明し,証明譜を用いた簡約のみに基づくCafeOBJの検証法(第4回)を解説する.さらに,認証プロトコル(第5回)と通信プロトコル(第6回)の2つの典型的な検証例も示すことで検証の技法についても解説する.The formal method, or the method for writing and verifying formal specifications, with the CafeOBJ language system is described in a series of six tutorials. The CafeOBJ language is a most advanced formal specification language which extents the OBJ language, and behavioral, rewriting, and parameterized specifications can be written in it. The CafeOBJ language system can simulate equational reasoning by executing equations as rewrite rules, and be used as an interactive verification system. This first tutorial presents an overview of the CafeOBJ formal method by using an example of "mutual exclusion protocol with a waiting queue" without getting into details of the language and the verification technique. In the following tutorials, the language and its semantics (2nd tutorial), equational reasoning and term rewriting systems (3rd tutorial) are presented, and the CafeOBJ's verification method with proof scores which only uses reductions (4th tutorial) is explained. Furthermore, CafeOBJ's verifications of an authentication protocol (5th tutorial) and a communication protocol (6th tutorial) are also presented, and several verification techniques are explained.