著者

島谷 肇

出版者

公益社団法人 日本補綴歯科学会

雑誌

日本補綴歯科学会雑誌 (ISSN:03895386)

巻号頁・発行日

vol.42, no.1, pp.124-134, 1998-02-01 (Released:2010-08-10)

参考文献数

36

被引用文献数

7 1

---

To clarify stress reducing effect of informed consent on experimental dental treatment, psychological test, pain threshold, hemodynamics and plasma catecholamine were used as indication of stress during heat stimulation to the gingiva, impression taking and infiltration anesthesia. The subjects were divided into two groups, one group was informed about the procedure in detail before the experiment (I.C. group), while the other group was not informed at all (n-I.C. group).1.In the n-I.C. group, state anxiety before the experiment increased significantly compared with that in the normal resting stage.2.In the experiment of heatstimulation, fingertip blood flow decreased significantly in both groups when the probe made contact in the first trial, and that in the n-I.C. group showed a significant decrease compared with that in the I.C. group in the second trial.3.During taking impression, systolic blood pressure in the I.C. group decreasedsignificantly 15 minutes after taking impression compared with that in the resting condition, and showed a significant difference between the two groups.4.During infiltration anesthesia fingertip blood flow decreased significantly in the n-I.C. group. The present data suggested that informed consent is useful for reducing stress during experimental dental treatment as indicated by the sympathetic activity.

著者

北嶋 暁 森岡 澄夫 島谷 肇 東野 輝夫 谷口 健一

出版者

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

雑誌

電子情報通信学会論文誌. D-I, 情報・システム, I-コンピュータ (ISSN:09151915)

巻号頁・発行日

vol.79, no.12, pp.1017-1029, 1996-12-25

参考文献数

15

被引用文献数

4

---

教育用CPU KUE-CHIP2を,各命令の意味を記述した要求仕様からRTレベルまで段階的に設計し,それをSFL記述に自動変換してハードウェア合成系パルテノンを用いて回路を得た.そして,その設計が正しいことを代数的手法に基づいた証明支援系を用いて完全に自動で証明した.自動で証明できた理由は,CPUでは,要求仕様も含め,各レベルの仕様が共通の基本関数(算術・論理演算,メモリの入出力)を用いて記述できる,CPUの正しさの証明では1命令ごとに正しく動作することを調べればよく,かつ1命令の実行では繰返しループを含まない,また,我々の開発した証明支援系では,項書換え,場合分け,整数上の論理式の恒真性判定などを一定の手順で自動実行する,扱う式の大きさが増大するのに対処した工夫をしている,などである.証明作業は,記述誤りに伴う再証明も含め2週間程度で行えた.CPUの命令数が増えても証明のための計算時間はそれに比例する程度ですむので,本実験の結果より,単一制御部をもつ非パイプラインCPUについては,本論文の手法により,その正しさの証明を,現実的な時間で自動で行うことが可能であると言える.