著者

鈴木 一哉 吉田 たけお 三浦 幸也

出版者

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

雑誌

電子情報通信学会技術研究報告. VLD, VLSI設計技術

巻号頁・発行日

vol.96, no.425, pp.41-48, 1996-12-13

参考文献数

10

---

本稿では設計されたハードウェアの構造がその動作仕様を満たしているかどうかを検証する方法を提案する.従来の検証法で用いられている一階述語論理は再帰的な表現ができないため,順序回路を含むようなハードウェアを表現できない.本稿では高階述語論理を用いることによってこの問題を解決する.本稿ではまず仕様である動作記述およびその設計である構造記述をそれぞれ高階述語論理式に変換する方法を示す.仕様記述および設計記述を表す論理式から"設計が仕様を満たしている"という意味を表す論理式を作り,この論理式を証明することによって検証を行なう.さらに本稿ではこの論理式を定理証明系を用いて証明する際の手順も示す.

著者

堀田 裕子 樫田 美雄

出版者

徳島大学

雑誌

徳島大学地域科学研究 (ISSN:21867720)

巻号頁・発行日

vol.2, pp.1-16, 2012-12

---

Our purpose of this study is to describe a field of home care in detail and to explore the lay knowledge (or body knowledge) and the particularity of the home care. We research the field by interaction analysis. A patient 'F' who has paralysis in the lower half of the body and the left upper limbs, permitted us video recording of her everyday life. We especially focus on the scene of (1) "putting on the jacket" and (2) "putting on the gloves (and so on)" with the help of two caregivers (housekeepers) in this paper.13;As a result of our analysis (1), we find that the caregivers move as if they were F's hands and that the movements of them are overlapped in about 2 seconds. We also find that there is about 5 seconds interval between taking gloves and putting them on (2). 'F' holds out her hands, monitoring the caregivers' movements one after the other. The F's body consists in the intercorporeality with the caregivers. As A. Nishizaka suggests 'the body distributed', the body counters the distribution though F's body seems to be distributed in home care.

著者

松浦武四郎 著

出版者

多気志楼

巻号頁・発行日

vol.3,4編, 1872

著者

Charbonneau P. Ikeda A. Meel J. A. van Miyazaki K.

出版者

American Physical Society

雑誌

Physical review E (ISSN:15393755)

巻号頁・発行日

vol.81, no.04, pp.040501, 2010-04

被引用文献数

30 13

---

There exists a variety of theories of the glass transition and many more numerical models. But because the models need built-in complexity to prevent crystallization, comparisons with theory can be difficult. We study the dynamics of a deeply supersaturated monodisperse four-dimensional (4D) hard-sphere fluid, which has no such complexity, but whose strong intrinsic geometrical frustration inhibits crystallization, even when deeply supersaturated. As an application, we compare its behavior to the mode-coupling theory (MCT) of glass formation. We find MCT to describe this system better than any other structural glass formers in lower dimensions. The reduction in dynamical heterogeneity in 4D suggested by a milder violation of the Stokes-Einstein relation could explain the agreement. These results are consistent with a mean-field scenario of the glass transition.

著者

石井 幸雄 浜田 行弘 菅 真城 松岡 美佳

出版者

記録管理学会

雑誌

レコード・マネジメント (ISSN:09154787)

巻号頁・発行日

vol.63, pp.79-100, 2012

---

「教育情報の公表」が義務化され、大学の見える化は確実に進んでいる。しかし、その内容は、最低限必要な情報という基準で見てもまだまだ不十分である。社会が求めているかではなく、大学が有する教育情報を積極的に提供していくかが問われているのである。本稿では、大学のホームページによる「情報公表」及び文書管理の実情について、調査・分析することにより、「教育情報の公表」を進化させるためには、どのような改善が求められるのか、その組織的・機能的な方法について検討を行い、主に文書管理の観点から大学の自主的・自律的な質保証及び教育の質的向上に資する提言を行う。

著者

阿部 幸子 渡辺 洋江 片山 倫子

出版者

社団法人日本家政学会

雑誌

日本家政学会誌 (ISSN:09135227)

巻号頁・発行日

vol.46, no.3, pp.265-269, 1995-03-15

参考文献数

3

被引用文献数

5

著者

小野 圭司

出版者

錦正社

雑誌

軍事史学 (ISSN:03868877)

巻号頁・発行日

vol.48, no.2, pp.42-58, 2012-09

著者

植松 貞夫

出版者

日本建築学会

雑誌

建築雑誌 (ISSN:00038555)

巻号頁・発行日

no.1370, pp.44-45, 1995-03-20

著者

澤田 肇 五十嵐 太郎 北山 研二 栗田 啓子 南 明日香

出版者

上智大学

雑誌

基盤研究(C)

巻号頁・発行日

2010

---

パリがどのようにフランスの、そしてヨーロッパの首都としての外観と機能とイメージを形成していったのかを多角的に問うことが、本研究の目的である。シンポジウムや研究会における発表と議論の過程で、自らにふさわしいイメージを自己増殖していくかのような都市風景を構築するパリのダイナミズムが、複数の異なる専門分野からのアプローチを組み合わせることで一層浮き彫りになることを確認できた。

著者

林 信明

出版者

花園大学

雑誌

花園大学社会福祉学部研究紀要 (ISSN:09192042)

巻号頁・発行日

vol.21, pp.1-13, 2013-03

---

慈善事務所は、フランス革命期の1796 年、貧しい人びとを救済するために設けられた公的機関である。しかし実際は、革命の混乱で実動するまでには至らなかった。慈善事務所の存在が知られるようになるのは、ナポレオン帝政下においてである。その後、この事務所はいくども名称をかえながら、今日の自治体社会福祉活動センター(CCAS: Centre communal d'action sociale )に至る。総じていえば、19 世紀前半は産業資本主義の形成過程の最中にあって、社会救済への国家の関与は希薄であった。本論では、とりわけ国家責任が曖昧な当時において、慈善事務所がどのような役割を果たしたかについて論及する。

著者

赤澤 久弥

出版者

大学図書館研究編集委員会

雑誌

大学図書館研究 (ISSN:03860507)

巻号頁・発行日

vol.89, pp.58-68, 2010-08

被引用文献数

1

著者

山口 泰 辻本 徳介 鈴木 宏正

出版者

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

雑誌

情報処理学会研究報告グラフィクスとCAD(CG) (ISSN:09196072)

巻号頁・発行日

vol.2001, no.35, pp.31-36, 2001-04-20

参考文献数

2

---

狭山事件においては足跡石膏型が重要な証拠の1つとされてきた.すなわち,犯行現場に残された足跡と押収された地下足袋で作られた足跡との,類似性が争点となっている.従来の鑑定は写真を基本として類似性を議論している.すなわち,足跡石膏型を写真撮影した上で長さや角度を測定し.形状の類似性を立証しようとしている.石膏型が,本来3次元形状であることから,今回,我々は3次元スキャナを用いて足跡を計測した.その上で足跡の3次元形状を観察するとともに,2つの足跡の類似性を検討した.Plaster casts of footprints have been considered as important evidences in the Sayama case. Namely, one of the issues is either thefootprints at the scene correspond with the footwears. The previous opinion was based on photos of the plaster casts. They measured distances and angles in the photos. We have taken range images of the plaster casts by using three dimensional laser scanner. This report discusses the three dimensional shapes of the plaster casts and their similarity.

著者

苅谷 剛彦

出版者

文芸春秋

雑誌

文芸春秋

巻号頁・発行日

vol.81, no.6, pp.359-365, 2003-05

著者

日本教育学会中国四国支部会

出版者

日本教育学会中国四国支部会

巻号頁・発行日

1956

著者

大高 洋平 里宇 明元 宇沢 充圭 千野 直一

出版者

The Japanese Association of Rehabilitation Medicine

雑誌

リハビリテーション医学 (ISSN:0034351X)

巻号頁・発行日

vol.40, no.6, pp.389-397, 2003-06-18 (Released:2009-10-28)

参考文献数

41

被引用文献数

2 3

---

The second part of the review discusses some important issues associated with fall prevention and future perspectives on fall related research. Currently, many kinds of interventions are available for the treatment of patients suffering from osteoporosis, i. e. nutritional supports, medications acting on bone metabolism and exercise. However, a series of meta-analyses showed that only alendronate and risedronate have been proven to prevent non-vertebral fractures in persons with osteoporosis. Anaerobic and weight bearing exercises are known to have a positive effect on the bone mineral density of the spine. There is, however, no reliable data for fracture prevention with exercise alone. Also, the synergistic effect of a combination of these interventions has not been clearly proven. Although there is evidence that the use of hip protectors in institutional settings reduces the rate of hip fractures, this approach faces the problem of patient acceptance and compliance. Psychosocial problems related to falls such as fear of falling, post-fall syndrome and cost-effectiveness of the prevention programs are becoming increasingly important in elderly health care, but little evidence of such has been reported in the literature. In future perspectives on fall relared research, a theory-based approach for fall prevention needs to be included to explore more effective interventions. We must also consider the double-edged effects of interventions that may increase certain fall risk factors while reducing another. Especially, the relation between activities and incidence of falls is important to consider, because increased activity itself may increase the chance of falls. When applying exercise or rehabilitative approaches, the interaction between falls, activity levels, frailty, and injury must be studied much more carefully. In addition, one has to always think about what is the true aim of a program, because the aim of fall prevention goes beyond preventing falls. Although some research has so far been conducted in Europe and the U. S. A. by researchers and practitioners in various fields, the quantity and quality of fall prevention research are still lacking and the available data is therefore insufficient to suggest appropriate decision-making in clinical practice. Especially in Japan, there have been only a few RCTs to determine the effectiveness of fall prevention programs. Because there are many differences in the characteristics of our native population and health care systems vs those of Europe and the U. S. A., it is a critical issue for us to establish fall prevention programs suited to Japanese population and health care system.

著者

奥山 圭一 加藤 純郎 山田 哲哉

出版者

宇宙航空研究開発機構

雑誌

宇宙航空研究開発機構研究開発報告 (ISSN:13491113)

巻号頁・発行日

vol.4, pp.55-75, 2005-03

---

REV was the first reentry capsule developed through pure domestic technology and successfully recovered. REV is thermally protected against the severe aerodynamic heating by carbon-phenolic ablator material. The present paper describes the feature of the heating test in the arc windtunnel and the ablator characteristics clarified during the research and development process of the REV heatshield. Because the heat flux anticipated on the stagnation surface is about 2 MW/m^2, the dominant surface recession mechanism is identified to be in the reaction control region. The thermochemical reaction data have been acquired through three arc-heater facilities with different enthalpy level for calibration and tuning of the ablation analysis code. The thermomechanical behavior of the ablator under the high heat flux environment such as delamination, or spallation also has been investigated for functional safety of the heatshield.

著者

佐藤 将之 宮森 正 小柳 純子 村瀬 樹太郎 坂 祥平 石井 信朗 西 智弘 山岸 正 石黒 浩史

出版者

日本緩和医療学会

雑誌

Palliative Care Research (ISSN:18805302)

巻号頁・発行日

vol.8, no.1, pp.515-522, 2013 (Released:2013-06-07)

参考文献数

15

被引用文献数

1 1

---

【目的】脊髄圧迫症状は, がん患者のQOLを大きく低下させる合併症である. 脊髄圧迫症状を合併した患者に対するデキサメタゾン大量療法の有効性や副作用についてレ卜口スペクティブに検討し, 報告した. 【症例】2009年5月から2011年9月までに当院でデキサメタゾン大量療法のみを, 脊髄圧迫症状を合併した8症例に対して行った. 【結果】放射線照射や外科的治療を併用できずデキサメタゾン大量療法のみを行った患者8例のうち, 徒手筋力テストの改善を4例(50.0%)に, 改良Frankel分類の改善を5例(62.5%)に認めた. デキサメタゾン大量療法のみで, 歩行不可能であった7例のうち1例(14.3%)が自力歩行での退院となった. 自験例では重篤な副作用はなかった. 【考察】放射線照射や外科的治療を受けることができない脊髄圧迫症状に対してのデキサメタゾン大量療法が神経症状を改善する選択肢として有用である可能性が示唆された.

著者

小野 定康

出版者

社団法人 日本写真学会

雑誌

日本写真学会誌 (ISSN:03695662)

巻号頁・発行日

vol.75, no.1, pp.8-13, 2012 (Released:2013-02-20)

参考文献数

8

---

本解説は最近急速に注目されてきているディジタルブラックホール問題に直結するディジタルデータの半世紀以上の保存に関して述べている.なぜディジタルデータの長期保存が必要になっているか,既存ディジタル記録システムの寿命について,現実的な長寿命化の方法,ディジタル記録システムと密接に関係するセキュリティ問題の解決法,次世代の恒久保存が可能なディジタル記録システムの研究動向を示している.

著者

伊藤 惇貴 有沢 怜士那 加納 政芳 中村 剛士 小松 孝徳

出版者

人工知能学会

雑誌

人工知能学会全国大会論文集 (ISSN:13479881)

巻号頁・発行日

vol.26, 2012

---

人型ロボットの動作編集は,自由度が多く容易ではない.そこで,物体の音の響きや状態を感覚的に表すオノマトペを用いて人型ロボットを直感的に操作する手法を提案する.具体的には,オノマトペが付与された既知の動作を用いてニューラルネットワークを恒等写像学習させることで人型ロボットの操作平面を作成する.この平面を用いることで,モーション編集に馴染みのない人でも直感的にモーションを変化させることができる.

著者

木村 直恵

出版者

学習院女子大学

雑誌

学習院女子大学紀要 (ISSN:13447378)

巻号頁・発行日

no.10, pp.61-88, 2008