著者

松元 貴志 上原 邦昭 豊田 順一

雑誌

情報処理学会研究報告知能と複雑系(ICS)

巻号頁・発行日

vol.1987, no.82, pp.1-8, 1987-11-18

---

プログラム合成システムを一般的なユーザにとって使いやすいものとすることを目的とした、自然言語仕様からの仕様獲得支援機能およびプログラム合成過程の説明機能の実現手法を提案する。本手法では、はじめに自然言語で記述された仕様を解析し、次に解析結果に対して抽象化および対象領域の常識的知識による補完を行い形式的な仕様を作成する。最後に形式的仕様を目標とする計算機言語へと詳細化しプログラムを合成する。ユーザが自然言語で記述した初期的な仕様から、最終的にプログラムを合成するまでの全過程をシステムが管理しているために、仕様記述時のユーザの漠然とした認識に溯って合成されたプログラムを説明することができる。説明時には、仕様の解析および合成の際にシステムが参照した問題領域のモデルをもとに説明を生成するようにしている。A paradigm for generating explanation on program synthesis systems is proposed. In this paradigm, the course of program construction contains two stages, namely, interpretation and synthesis stages. In interpretation stage, the system parses natural language specifications first. Then formal specifications are derived form the results of parsing, by abstracting them away from the physical world, and complementing them with domain knowledge. In synthesis stage, formal specifications are refined into programs written in a programming language. After proposing synthesized programs to users, the system can explains what it did. Explanations are generated from the domain model used in the course of program construction.

著者

入江 千晴

出版者

北海道農業経済学会

雑誌

北海道農業経済研究 (ISSN:09189742)

巻号頁・発行日

vol.12, no.2, pp.3-8, 2005-12-25

著者

石垣 賢和 竹林 崇 菅原 英和

出版者

日本作業療法士協会 ; 1982-

雑誌

作業療法 = Japanese occupational therapy research (ISSN:02894920)

巻号頁・発行日

vol.37, no.5, pp.571-578, 2018-10

著者

堀 翔平 竹林 崇

出版者

日本作業療法士協会 ; 1982-

雑誌

作業療法 = Japanese occupational therapy research (ISSN:02894920)

巻号頁・発行日

vol.37, no.4, pp.440-447, 2018-08

著者

有時 由晋 竹林 崇 野村 千尋 江尻 典史

出版者

日本作業療法士協会 ; 1982-

雑誌

作業療法 = Japanese occupational therapy research (ISSN:02894920)

巻号頁・発行日

vol.37, no.2, pp.223-229, 2018-04

著者

大江 靖雄 佐々木 東一 金岡 正樹

出版者

北海道農業経済学会

雑誌

北海道農業経済研究 (ISSN:09189742)

巻号頁・発行日

vol.3, no.1, pp.68-80, 1993-10-01

---

This study provides an economic analysis about risk aversion behavior, focusing on farmers' selection of varieties of wheat in upland farming areas in Tokachi, Hokkaido and clarified managerial factors that are considered to determine the aversion behavior. The main points mentioned in this paper are as follows; 1. The wheat acreage increased three times in recent two decades in Hokkaido. In every time, changes in variety are one of the major contributed factors. 2. Takune, a variety of wheat preferred by farmers in Tokachi, is preferred as a crop which enables farmers to take risk aversion behavior so that the higher the risk, the larger the ratio of Takune. Thus we can regard Takune as a crop which shows the degree of risk aversion. 3. In a logit regression analysis applied for Takune selection, the results show that it is correlated positively with farm size and negatively with age of the farmer. That means the larger the farm size and the younger the age, the more farms select Takune. Labor and productivity also have a positive correlation with Takune selection although farms without a successor and variance of yield of kidney beans show a negative sign. The results show that in general farmers who have better managerial condition tend to be risk averse. Consequently, it is reasonable to say that further increases in farm size would raise necessity of the risk spreading function in the upland farming management. This role of risk spreading function played by Takune would be one of the important managerial conditions for stable evolution of farm management in the future.

著者

戸高 義一 梅本 実 渡辺 幸則 土谷 浩一

出版者

公益社団法人 日本金属学会

雑誌

日本金属学会誌 (ISSN:00214876)

巻号頁・発行日

vol.67, no.12, pp.690-696, 2003 (Released:2008-04-24)

参考文献数

30

被引用文献数

15 24

---

The surface nanocrystallization of various steels by air blast shot peening was investigated. It was found that nanocrystalline layers can be produced when higher shot speed and longer process period than those of conventional shot peening were applied. The produced nanocrystalline layers are several μm thick and show extremely high hardness. The layers have clear boundaries with the adjacent work-hardened regions. By annealing, slow grain growth without recrystallization is observed in the layers. Those characteristics are similar to those observed in the nanocrystalline layers produced by other techniques, such as ball milling, ball drop and particle impact deformations.

著者

河村 能人 井上 明久

出版者

公益社団法人 日本金属学会

雑誌

まてりあ (ISSN:13402625)

巻号頁・発行日

vol.41, no.9, pp.644-649, 2002-09-20 (Released:2011-08-11)

参考文献数

21

被引用文献数

2 2

著者

編輯人不詳

出版者

栄泉社

巻号頁・発行日

vol.上, 1885

著者

Monika Fejtek Michel Delorme Richard Wassersug

出版者

Japanese Society for Biological Sciences in Space

雑誌

Biological Sciences in Space (ISSN:09149201)

巻号頁・発行日

vol.9, no.2, pp.77-81, 1995 (Released:2006-02-01)

参考文献数

18

被引用文献数

1 1

---

As part of an ongoing survey of the behavioral responses of vertebrates to abrupt changes in gravity, we report here on the reactions of bats (Carollia perspicillata) exposed to altered gravity during parabolic aircraft flight. In microgravity, mammals typically behave as if they were upside-down and exhibit repetitive righting reflexes, which often lead to long axis rolling. Since bats, however, normally rest upside-down, we hypothesized that they would not roll in microgravity. Only one of three specimens attempted to fly during microgravity. None rolled or performed any righting maneuvers. During periods of microgravity the bats partially extended their forearms but kept their wings folded and parallel to the body. Between parabolas and occasionally during microgravity the bats groomed themselves. Both the extended limbs and autogrooming may be stress responses to the novel stimulus of altered gravity. This is the first behavioral record of Chiroptera in microgravity.

著者

蘭山 書

巻号頁・発行日

1000

著者

間宮 貴代子 小出 あつみ 阪野 朋子 松本 貴志子 山内 知子

出版者

一般社団法人 日本調理科学会

雑誌

日本調理科学会誌 (ISSN:13411535)

巻号頁・発行日

vol.49, no.1, pp.58-64, 2016

---

本研究では愛知県の雑煮を構成する食材について検討した。愛知県の雑煮の食材構成では,東日本で多く使用された角餅に,醤油とかつおだしの清まし仕立てが多かったが,これは味噌仕立を嫌った武家社会の歴史的影響である。具は古くからの形式が現在も維持され,縁起担ぎから,尾張地域在来の餅菜が使用され,かまぼこ・なるとを加え,かつお削り節を添えていた。しかし,尾張地域と三河地域には相違点がみられた。和風風味調味料の使用が,女性の労働力率が高い三河地域で有意に多かった。また,三河地域の雑煮の具は,収穫量が多い白菜,豆腐・油揚げ(大豆),人参を使用する地産地消の傾向が伺え,尾張地域より多彩な具であった。

著者

清錢謙益撰

巻号頁・発行日

1850

出版者

日経BP社

雑誌

日経アーキテクチュア (ISSN:03850870)

巻号頁・発行日

no.870, pp.40-66, 2008-03-17

---

東京・乃木坂の東京大学生産技術研究所跡に建つ、日本で5番目、30年ぶりの新設の国立美術館である。企画展や公募展専用の美術館であり、収蔵品を持たない。建築のコンセプトは設計者である黒川紀章氏が50年間一貫して主張してきた「共生の思想」。その一つの表現がファサードのガラスカーテンウオールだ。うねるような3次元の曲面を描く。

著者

窪田 悟

雑誌

情報処理学会研究報告ヒューマンコンピュータインタラクション(HCI)

巻号頁・発行日

vol.1990, no.52, pp.1-9, 1990-07-05

---

日本語ワープロソフトの編集機能の操作性をノビスユーザの作業パフォーマンスと主観評価を指標にして実験的に比較した.その結果をもとにワープロの操作性を左右している要因について検討した.比較したワープロは,一太郎Ver3.0,新松,VJE?pen Ver2.0,QueenIIIの4種類である.被験者は,初心者20名で,置換,移動,複写などの編集機能を使うベンチマーク作業を遂行した.作業パフォーマンスはタイムスタンプ付きの打鍵データから分析した.結果は,ワープロ間の作業遂行時間の差は,意図した機能の検索と選択の時間に依存していることが明らかとなった.機能の検索と選択に要する時間を左右しているコマンドメニューの構造と機能名の付け方について考察した.This study was conducted to test user performance and attitude for different word-processors used in personal computers. Four word-processing systems of substantially different design were chosen for this experiment. Twenty novice users were tested individually on the benchmark, in which the users modified a text file (e.g., replace characters, delete characters, move chracters). Keystroke data accurate to within one millisecond were collected for all subjects. The results showed that command menu design (e.g., item names and organization of items) is most important for novice users. Implications for the designing of command menu systems are discussed.

著者

松原 健二 矢野口 聡

出版者

松本大学

雑誌

地域総合研究

巻号頁・発行日

vol.11, pp.153-172, 2010-06

著者

矢野口 聡 松原 健二

出版者

日本教育情報学会

雑誌

年会論文集

巻号頁・発行日

no.26, pp.270-271, 2010

---

現在、日本語ワープロを用いる多くの大学教育現場ではMicrosoft Wordを採用しているが、果たして最適な選択なのであろうか。本研究では、我が国の代表的なワープロソフトであるWordと一太郎を取り上げ、両者の間にどのような違いがあるのかを比較した。その結果、 Wordと一太郎の間には開発の経緯や思想の違いが見受けられ、それぞれの機能にも違いとなって表れていることがわかり、ビジネス文書を対象とした教育にはWord、レポートなどの日本語文章表現を対象とした教育には一太郎が適しているとの判断に至った。

著者

長澤 直子

出版者

一般社団法人 CIEC

雑誌

コンピュータ&エデュケーション (ISSN:21862168)

巻号頁・発行日

vol.43, pp.67-72, 2017

---

<p> 大学生がスマートフォンで文字入力をする際,日本語入力では90%以上がフリック入力・トグル入力を利用し,外国語入力ではフリック入力・トグル入力とQWERTY配列での入力がほぼ50%ずつであることがアンケート調査によって明らかになった。そして,PCでのタッチタイピング習熟度とスマートフォンでの外国語入力にQWERTY配列を利用する人との間には有意な関連が見られた。日本の大学生がPCよりもスマートフォンを好む理由のひとつには,日本語入力に五十音との親和性が高く入力技能習得が容易なフリック入力が使えることが考えられる。</p>

著者

西田 好宏 吉田 大志 吉田 大志 Yoshida Taishi

出版者

福井工業大学

雑誌

福井工業大学研究紀要 Memoirs of Fukui University of Technology (ISSN:18844456)

巻号頁・発行日

no.43, pp.21-28, 2013

---

This paper describes a method to recognize a character handwritten in the air. This recognition method uses the motion direction instead of positions of the device. It also doesn't use the information of pen up and down. It selects and orders character candidates with DP (dynamic programming) matching. We prototyped an application software that recognize a character by using mouse movements. In this time, we made virtual key input motion for input method editor. We could edit a sentence by using handwritten gesture recognition.

著者

山岡 桂子 山岡 尚世 高柳 ともえ 松井 正輝 沖永 真奈恵

出版者

日本医療薬学会

雑誌

病院薬学 (ISSN:03899098)

巻号頁・発行日

vol.21, no.5, pp.428-433, 1995-10-10

---

We compared a 7% lidocaine cream (Preparation C) prepared at our hospital using a commercially available 5% dental xylocaine ointment (Preparation K) for application as a lacal anesthesia for skin patients when employing a laser beam for stability and anesthetic performance. Both preparations did not show any water separation or color change at 5℃, 25℃, 40℃ at RH 75℃ with a 95℃ or more residual rate. Furthermore, water evaporation in both preparations was not observed and was within the limit of measurement error. Significant change was not recognized in the expansibility of the preparation. The results of the viable cell count study according to Standard Plate-Counting Method and Specific Plate-Counting Method under the four conditions were negative (10 bacteria or less/g) with no observation of bacterial colonies. The anesthetic effect lasted 120 min for Preparation C with the 60-min application, while Preparation K only showed diminution of pain for 30 min.