著者

山下 幸子 Sachiko Yamashita 淑徳大学総合福祉学部

雑誌

淑徳大学総合福祉学部研究紀要 = College of Integrated Human and Social Welfare Studies (ISSN:18807763)

巻号頁・発行日

vol.44, pp.31-50, 2010-03-10

著者

文部省[総務局 編]

出版者

富山房

巻号頁・発行日

vol.貳, 1904

著者

稲村 勝樹 新林 直樹

雑誌

情報処理学会論文誌 (ISSN:18827764)

巻号頁・発行日

vol.59, no.1, pp.179-188, 2018-01-15

---

近年,スマートフォンやタブレット端末など,タッチパネルを有する携帯端末が普及し,時や場所を選ばずに様々な情報を利活用できるようになった.このような端末では,端末を利用する際にタッチパネルの入力を利用したユーザ認証を行うことで情報漏洩を防いでおり,なかでもAndroid端末ではパターンロックと呼ばれる方式が採用されている.しかし,この方式では覗き見攻撃により簡単にパスパターンを記憶されてしまうといった問題がある.この問題に対し,東川らによってランダムに表示された数字列を一時的に記憶した後に入力することによって,パターンロックの覗き見耐性の向上を図る方式が提案されている.この方式において,記憶の増加や入力の複雑化によるユーザの利便性の低下といった課題がある.本稿では,入力パスパターンの方法を変更することで利便性の改善を図り,かつ覗き見耐性をさらに向上させる改良方式を提案し,その実装評価について述べる.これにより既存の携帯端末でパターンロックより安全なユーザ認証が実現できることを示す.

著者

木村 真由美

出版者

上田女子短期大学

雑誌

学海 (ISSN:09114254)

巻号頁・発行日

vol.11, pp.47-58, 1995-03

著者

常川 真央 小野 永貴 松村 敦 宇陀 則彦

出版者

人工知能学会

雑誌

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

巻号頁・発行日

vol.24, 2010

---

現在の図書館は、情報提供機関であることを越えて知識創出を支援することを求められつつあり、そのためにはコミュニティの形成が欠かせない。筆者らは、貸出履歴を活用した利用者間のコミュニケーション支援システム「Shizuku」を開発してこの課題の解決を試みた。本研究では、Shizukuを改良し、利用者同士が図書館に関するノウハウを教えあえる機能を実装することでより密なコミュニティの形成の実現を試みる。

著者

堀内 慎一郎

出版者

木鐸社

雑誌

年報政治学 = The annuals of Japanese Political Science Association (ISSN:05494192)

巻号頁・発行日

vol.2016, no.2, pp.261-284, 2016

著者

山名 裕子

出版者

秋田大学

雑誌

秋田大学教養基礎教育研究年報 (ISSN:13449311)

巻号頁・発行日

vol.9, pp.23-29, 2007-03-01

著者

空閑 浩人

出版者

一般社団法人日本社会福祉学会

雑誌

社会福祉学 (ISSN:09110232)

巻号頁・発行日

vol.42, no.1, pp.44-54, 2001-08-31

---

今日,社会福祉施設における利用者への虐待の問題が表面化・深刻化している。本稿では,その要因の1つとして施設内における職員組織や集団のあり方に着目する。まず,施設における援助者は職員組織や集団の一員として働くことになるが,そのことにより周囲からのさまざまな影響(状況の圧力)が,結果的に援助者を専門職倫理に反する行為に至らしめるといった社会心理的な要因を「服従」「同調」「内面化」という現象を通じて明らかにする。次に,そのような状況の圧力に屈してしまう援助者の「弱さ」に着目して,その克服に向けての考察を行う。援助者には,いかなる状況であっても,専門職倫理や価値に基づき,利用者の人権と生活を護るという職業的責任を果たす「強さ」が求められる。そのような「強さ」は自らの「弱さ」を認め,それに向き合うことによってこそ得られると考える。

著者

Issai Funahashi

出版者

Japanese Association of Indian and Buddhist Studies

雑誌

Journal of Indian and Buddhist Studies (Indogaku Bukkyogaku Kenkyu) (ISSN:00194344)

巻号頁・発行日

vol.4, no.2, pp.460-461, 1956-03-30 (Released:2010-03-09)

著者

岡本 直幸

出版者

公益社団法人 日本人間ドック学会

雑誌

人間ドック (Ningen Dock) (ISSN:18801021)

巻号頁・発行日

vol.26, no.3, pp.454-466, 2011 (Released:2012-02-28)

参考文献数

18

被引用文献数

1

著者

Akira Tanaka Reynald Affeldt Jacques Garrigue

出版者

Information Processing Society of Japan

雑誌

Journal of Information Processing (ISSN:18826652)

巻号頁・発行日

vol.26, pp.54-72, 2018 (Released:2018-01-15)

参考文献数

30

被引用文献数

4

---

Our goal is the production of formally-verified pieces of low-level code. Low-level code is typically written in C, so as to enable efficient manipulation of data at the bit-level and easy access to built-in features of CPUs. Proof-assistants arguably provide the most rigorous approach to formal verification of computer programs. Unfortunately, they only allow for extraction of runnable code in high-level languages such as ML. Of course it is possible to embed C snippets into ML programs, but this results in a complicated extraction process and the performance of the output program becomes difficult to anticipate. In this paper, we propose a new code generation scheme for the Coq proof-assistant that directly generates provably-safe C code. It is implemented in the form of plugins. The generation of C source code is done by a plugin performing beforehand monomorphization of Coq programs. The correctness of monomorphization can be proved within Coq. Code generation allows for user-guided changes of data structures. It is therefore possible to do formal verification using proof-friendly data structures, while enjoying optimized C representations in the output code. In order to ensure the safety of this transformation, we propose a new customizable monadification algorithm in the form of another plugin. Using monadification, one can ensure by the insertion of the right monads the preservation of critical invariants, such as the absence of overflows or complexity properties. We provide several examples to illustrate our approach, including a realistic use-case: the rank algorithm from succinct data structures.

著者

浅見安正 著

出版者

内外出版協会

巻号頁・発行日

1911

著者

北澤 尚

出版者

東京学芸大学

雑誌

学芸国語国文学 (ISSN:03879135)

巻号頁・発行日

vol.44, pp.1-13, 2012-03-15

著者

有田 素子

出版者

北海道教育大学

雑誌

情緒障害教育研究紀要 (ISSN:0287914X)

巻号頁・発行日

vol.4, pp.31-34, 1985-03-15

---

北海道留萌市にあるかもめ幼稚園は,昭和32年開園と同時に障害児を受け入れ,北海道における障害児保育の草分け的存在といわれる。漁業中心のしかも閉鎖的ともいえるこの地に,なぜ早い時期から障害児保育が生まれ存続してきたのだろうか。27年間にもおよぶ実践を通し,その成立過程・保育内容の変遷をたどることによってこれから障害児保育を手掛けようとする地域,あるいはその保育に携わっている人達に対して重要な示唆を与え得ると考え,延べ10数回にわたる訪問面接調査および障害児保育実践の参加観察を行った。かもめ幼稚園の障害児受け入れは意図的かつ組織的なものではなく,偶然障害児が入園したことがきっかけであった。当初の保育はオープン方式で,園児40名教師4名と人的条件には恵まれていたが,障害児の指導方法もわからぬままのスタートで,毎日がその子中心の保育のようなものであった。翌年からは増設に伴い横割りのクラス編成となり,障害児は各クラスに在籍,一斉保育に支障があると思われる場合には個別指導を加味した。昭和52年「つくし学級」という特別な学級を設置し,障害児をそこに在籍させ個別指導中心の特殊学級的役割を持たせたが,いくつかの問題点があり1年後には廃止した。経過の反省の中から障害児を再び各クラスに在籍させ,つくしの部屋は個別指導の場として,また自由遊び時は誰もが入って道べる部屋として利用されている。現在,障害児は自由遊び時も一斉保育時も原則として健常児とともに過ごしており,子どものその日の状態によって自由遊び時は集団に参加させても一斉保育時には個別指導をするなど,臨機応変に対応している。障害児の入るクラスは複担制をとっており,教師達は努力と協力を惜しまず,より適した指導方法を求めて日々研さんを積んでいる。この障害児保育を支える地域的な諸条件も数多くあり,それらについても考察をした。

著者

松本 豐壽

出版者

社会経済史学会

雑誌

社会経済史学 (ISSN:00380113)

巻号頁・発行日

vol.22, no.4, pp.397-415, 1956-02-25 (Released:2017-12-07)

著者

田中 正之 前垣 慧 伊藤 二三夫 佐々木 智子 長尾 充徳

出版者

日本家畜管理学会

雑誌

日本家畜管理学会誌・応用動物行動学会誌 (ISSN:18802133)

巻号頁・発行日

vol.51, no.1, pp.55, 2015-03-25 (Released:2017-02-06)

著者

小宮 あすか 渡部 幹

出版者

日本社会心理学会

雑誌

社会心理学研究 (ISSN:09161503)

巻号頁・発行日

vol.28, no.2, pp.111-117, 2013-01-20 (Released:2017-03-02)

---

Researchers have recently shown that regret functions to lead appropriate behaviors not to repeat the same failure again. Previous studies also argued that emotions have "functions of expression" in addition to such "functions of experience," but how expressing regret functions has not been sufficiently investigated. In the present article, we first reviewed the relations across remorse, guilt, and regret, and then reexamined a hypothesis suggested by Van Kleef et al. (2006) that expressing interpersonal regret signals future behavioral change and interpersonal sensitivity, and thus facilitates the construction of relationships. Supporting our predictions, the results showed that persons who indicated interpersonal regret were more likely to be judged trustworthy and were more desired as partners than persons who did not. We discuss the functions of experiencing and expressing regret.

著者

Yasutomo HORI Yasuhiro HEISHIMA Yohei YAMASHITA Noriko ISAYAMA Nobuyuki KANNO Kensuke NAKAMURA Masayuki IGUCHI Toshiki IBARAGI Hideyuki ONODERA Yoshitaka ARAMAKI Atsushi HIRAKAWA Shigeki YAMANO Michio KATAGI Akihito KITADE Tamotsu SAWADA

出版者

JAPANESE SOCIETY OF VETERINARY SCIENCE

雑誌

Journal of Veterinary Medical Science (ISSN:09167250)

巻号頁・発行日

pp.17-0620, (Released:2018-01-03)

被引用文献数

6

---

Chronic kidney disease (CKD) is a common cause of secondary systemic hypertension in cats. We investigated the relationship between indirect blood pressure and the prevalence of systemic hypertension in various CKD stages in cats. Client-owned cats (24 control cats and 77 cats with CKD) were included. Biochemical examinations of plasma were conducted by a commercial laboratory. Diseased cats were divided into two groups based on the International Renal Interest Society (IRIS) guidelines (II and III–IV). Indirect blood pressure was measured using an oscillometric technique. Severe hypertension was diagnosed if systolic blood pressure (SBP) was ≥180 mmHg. Indirect blood pressures were significantly higher in IRIS stage III–IV than in the control cats. Of 77 cats with CKD, 25 (32.5%) had severe hypertension. The frequency of severe hypertension increased with an increase in IRIS stage; 0% in the controls, 27.6% in the IRIS stage II, and 47.4% in the IRIS stage III–IV, respectively. The indirect SBP was weakly correlated with urea nitrogen (r=0.27) and creatinine (r=0.23) concentrations in plasma. Binary logistic regression analysis showed that if plasma creatinine concentration is >3.7 mg/dl, cats with CKD had an increased risk for developing severe hypertension (P<0.001). Our results suggest that indirect blood pressure was correlated with the severity of CKD, and the prevalence of severe hypertension increased in cats with severe CKD. The risk of severe hypertension may be high in cats with severe CKD.

著者

赤塚 めぐみ 上野 敬子 高橋 久美 小池 敏英

出版者

東京学芸大学

雑誌

東京学芸大学紀要. 総合教育科学系 (ISSN:18804306)

巻号頁・発行日

vol.57, pp.171-180, 2006-02

著者

斎藤 繁

出版者

弘前学院大学

雑誌

弘前学院大学社会福祉学部研究紀要 (ISSN:13464655)

巻号頁・発行日

vol.5, pp.1-13, 2005-03-01

被引用文献数

1

---

老年期にある高齢者の重度記憶障害についての若干の検討と考察を試みた。特に認知症(痴呆)による知能障害と記憶障害についての脳病理学的、神経心理学的、認知心理学的解明を試みながら、福祉臨床における介護支援の諸方策について検討した。加齢にともなう高齢者の認知機能の低下は、われわれ人間にとっては避けがたい生物学的、神経心理学的現象と言えるが、長年にわたって培われた知識・技能が容易に失われないこともまた事実である。認知症の中核症状に記憶機能と認知機能障害が考えられている。記憶能力の低下は知覚、学習、思考、コミュニケーション行動に直接的な影響を及ぼすが、そのための介護福祉的支援方策について考察し、若干の提案を試みようとした。急性、亜急性に発症する認知症は医療の対象となるが、一般的な老化による記憶機能と認知過程の障害は、徐々に部分的に出現し次第に憎悪する傾向がみられる。そのあらわれ方には個人差があり、個々人の人生努力と密接である。個人の自助努力は言うに及ばず、また家族、地域による福祉支援課題として、その対応方策が考慮されねばならない。軽度の認知症が疑われるレベルでは、幼少期から十分習慣化した運動や身体作業、ADLに支障があらわれ、日常生活や社会行動面において部分的な不具合や不都合が生じるようになる。さらに、中・重度の認知症になると見当識などの認知機能のみならずADL、APDLにも重い障害があらわれてくるが、著しい言語・記憶障害を示す認知症への対応には、医療、理学療法、作業療法、言語療法のほかにも、福祉的環境調整ときめの細かいケアプランとケアワーク、それに生活療法的、行動療法的、芸術療法的支援、非言語的意思伝達などの諸方策が必要となる。高齢認知症者の抱える個人的問題に関しては、身体的側面のみならず精神的側面と、家庭・社会関係の再体制化への配慮が求められる。なかでも家族福祉支援が重要である。そのための医療・福祉支援は必須のものとなる。問題の解決には高齢認知症者のQOLと高齢者をとりまく社会・文化的環境についての配慮も欠くことはできない。