著者

濱田 信夫 中村 正樹

出版者

Osaka Urban Living and Health Association

雑誌

生活衛生 (ISSN:05824176)

巻号頁・発行日

vol.49, no.6, pp.365-371, 2005 (Released:2005-12-07)

参考文献数

5

被引用文献数

1

---

Three kinds of fungi were cultured on various media (including different 30 surfactants, anionic, nonionic, amphoteric, and cationic surfactants) and a comparison of their growth was made. The growth of all three fungi was inhibited by anionic, amphoteric, and cationic surfactants. In particular, no colonies of these fungi were found on 0.25% of these surfactants and only small colonies were found on 0.05%. On the other hand, although two fatty acid-amide type nonionic surfactants inhibited the growth of the three fungi, no inhibition on the their growth was found on media including other nonionics. For example, fatty-acid ester type nonionics promoted the growth of all three fungi. In particular, Scolecobasidium constrictum, a dominant fungus in washing machines, grew well on media including polyoxyethylene-alkylether nonionic surfactants, in contrast with Cladosporium cladosporioides, a common fungus in indoor environments. Fatty-acid amide type surfactants were noticed for their potential to be exploited in detergent for fungus-free washing machines.

著者

濱田 信夫 藤田 忠雄 中村 正樹

出版者

Osaka Urban Living and Health Association

雑誌

生活衛生 (ISSN:05824176)

巻号頁・発行日

vol.46, no.3, pp.85-90, 2002-05-30 (Released:2010-03-11)

参考文献数

9

被引用文献数

2

---

The sterilizing effects of laundry detergent and oxygen and chlorine bleach on fungal spores were examined. Bleach did not appreciably kill spores of common fungi such as Penicillium and Cladosporium species in water at 25°C, but, increase in water temperature accelerated the sterilizing effect of bleach. Hot water, higher than 30°C, with bleach was effective for killing fungal spores.Bleach is more effective than detergent for washing cloth samples contaminated with the species of Cladosporium used in 25°C water, although fungal spores are not effectively killed. Fungal mycelia are more sensitive to bleach than their spores, so mycelia on fabric are bleached more easily than their spores.

著者

渡辺 真啓 中村 正樹 二木 厚吉

出版者

FIT(電子情報通信学会・情報処理学会)運営委員会

雑誌

情報科学技術フォーラム一般講演論文集

巻号頁・発行日

vol.3, no.1, pp.173-174, 2004-08-20

著者

原 光太朗 緒方 和博 中村 正樹 二木 厚吉

出版者

FIT(電子情報通信学会・情報処理学会)運営委員会

雑誌

情報科学技術フォーラム一般講演論文集

巻号頁・発行日

vol.3, no.1, pp.177-178, 2004-08-20

著者

関 知嗣 仲井 培雄 上田 佳史 川上 浩司 西田 径 中村 正樹 田中 佐智子

出版者

日本慢性期医療協会

雑誌

日本慢性期医療協会誌 : JMC (ISSN:21878846)

巻号頁・発行日

vol.29, no.4, pp.78-84, 2021-08

著者

二木 厚吉 緒方 和博 中村 正樹 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.

著者

濱田 信夫 中村 正樹

出版者

社団法人 大阪生活衛生協会

雑誌

生活衛生

巻号頁・発行日

vol.49, no.6, pp.365-371, 2005

---

Three kinds of fungi were cultured on various media (including different 30 surfactants, anionic, nonionic, amphoteric, and cationic surfactants) and a comparison of their growth was made. The growth of all three fungi was inhibited by anionic, amphoteric, and cationic surfactants. In particular, no colonies of these fungi were found on 0.25% of these surfactants and only small colonies were found on 0.05%. On the other hand, although two fatty acid-amide type nonionic surfactants inhibited the growth of the three fungi, no inhibition on the their growth was found on media including other nonionics. For example, fatty-acid ester type nonionics promoted the growth of all three fungi. In particular, <i>Scolecobasidium constrictum</i>, a dominant fungus in washing machines, grew well on media including polyoxyethylene-alkylether nonionic surfactants, in contrast with <i>Cladosporium cladosporioides</i>, a common fungus in indoor environments. Fatty-acid amide type surfactants were noticed for their potential to be exploited in detergent for fungus-free washing machines.

著者

浦島 智 鳥山 朋二 中村 正樹

出版者

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

雑誌

電子情報通信学会技術研究報告. USN, ユビキタス・センサネットワーク (ISSN:09135685)

巻号頁・発行日

vol.112, no.31, pp.93-98, 2012-05-10

---

我々は,在宅患者が日常生活で利用する車椅子,ベッド,トイレ手すりに荷重センサなどを複数設置し,それらを用いてプライバシ侵害感の少ない見守りシステムを実現しようとしている.しかし,見守り実現のためには,取得した複数のセンサ情報を集約し,患者の行動と結びつける必要がある.本稿では,構築したセンサシステムと予備実験結果について述べる.

著者

二木 厚吉 緒方 和博 中村 正樹

出版者

日本ソフトウェア科学会

雑誌

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

巻号頁・発行日

vol.25, no.2, pp.2_1-2_13, 2008 (Released:2008-06-30)

---

CafeOBJ言語システムを用いた形式手法,すなわち形式仕様の作成法と検証法,を全6回にわたり解説する.CafeOBJ言語はOBJ言語を拡張した代数仕様言語であり,振舞仕様,書換仕様,パラメータ化仕様などが記述できる最先端の形式仕様言語である.CafeOBJ言語システムは,等式を書換規則として実行することで等式推論を健全にシミュレートすることができ,対話型検証システムとして利用出来る.第1回の今回は,「待ち行列を用いる相互排除プロトコル」を例題として,言語や検証法の細部に立ち入ることなく,CafeOBJ仕様の作成と検証が全体としてどのように行われるかを説明する.第2回以降では,言語の構文と意味(第2回),等式推論と項書換システム(第3回)について説明し,証明譜を用いた簡約のみに基づくCafeOBJの検証法(第4回)を解説する.さらに,認証プロトコル(第5回)と通信プロトコル(第6回)の2つの典型的な検証例も示すことで検証の技法についても解説する.

著者

西本 佳代 中村 正樹 平沢 美保 津田 和義 小川 玲子 佐藤 一正 上形 卓道 柳井 宏夫 池田 奈津美 斉藤 亜子 須田 敦子 山本 晴奈 薗部 幹生 水原 一

出版者

駒澤大学

雑誌

駒澤國文 (ISSN:04523652)

巻号頁・発行日

vol.27, pp.257-276, 1990-02

著者

小野 大助 中村 正樹

出版者

地方独立行政法人大阪市立工業研究所

雑誌

基盤研究(C)

巻号頁・発行日

2008

---

非環状アセタール基または1,3-ジオキソラン環を有する3種類の新規両親媒性化合物を考案し、その合成方法について明らかにした。すべての分解性両親媒性化合物の臨界ミセル濃度cmc は、通常型に比べ、低い値を示したことから、これらは良好なミセル形成能を有していることがわかった。すべての両親媒性化合物は、酸性条件下で容易に分解した。4間後の生分解度は、60%以上と良好であり、通常型の界面活性剤よりも優れていた。両親媒性化合物をスチレンをモノマーとする乳化重合反応に用いた場合、重合反応終了後、酸添加により界面活性剤を分解させることにより、容易に高分子量ポリスチレンの単離を行うことができた。タイプ3を用いた場合、ポリオキシエチレン系の市販非イオン界面活性剤よりも生成ポリマーの重合度が大きく、分子量分散度が小さくなった。また、塩析によりポリマーを析出する必要がないためポリマー中のナトリウムイオン濃度が市販非イオン界面活性剤よりも少なった。