Search Results 1-20 of 207

  • On the motion of slightly rarefied gas induced by a discontinuous surface temperature

    Taguchi Satoshi , Tsuji Tetsuro

    … The motion of a slightly rarefied gas in a long straight two-dimensional channel caused by a discontinuous surface temperature is investigated on the basis of kinetic theory with a special interest in the fluid-dynamic description. … More precisely, the channel is longitudinally divided into two parts and each part is kept at a uniform temperature different from each other, so that the surface temperature of the whole channel has a jump discontinuity at the junction. …

    Journal of Fluid Mechanics (897), 2020-08-25

    IR 

  • Evaluation and Problems of Nursing Curriculum through the Trend of Student Evaluations in Three Years  [in Japanese]

    柏 美智 , 住吉 智子 , 成田 太一 , 石田 真由美 , 坂井 さゆり , 横野 知江 , 柿原 奈保子 , 西方 真弓

    本調査は，現行カリキュラムで教育を受けた3年間の卒業年次学生の看護学専攻のカリキュラム評価の推移と本学における物的・人的学習環境の評価を明らかにすることを目的とした．2015，2016，2017年度に卒業した4年生計226人を対象に自記式質問紙調査を実施し，回答が得られた197人（87.2％）を分析対象とした．調査内容は，学習目標の達成状況やカリキュラム，学習支援状況に関する学生の評価である．　カ …

    新潟大学保健学雑誌 = Journal of health sciences of Niigata University 17(1), 17-26, 2020-03

    IR  Ichushi Web 

  • Genealogical Study of the Genesis of Translation Practice in Japan  [in Japanese]

    MATSUSHITA Haruhiko

    <p> 本稿では、まず翻訳概念の系譜学的、超越論的な観点から、現代文に特徴的な漢字仮名交じり文の淵源について、漢字仮名交用の創成過程、漢字訓読法とその批判としての国学の意義に論及し、次に翻訳がナショナリズムおよび国民語の創成の要件であることについて諸外国の事例とともに考察する。最後に、西田哲学の「無の場所」と時枝文法の「辞」の意義を確認し、日本の翻訳実践としての表記法と外来思想に対する …

    THE JAPANESE JOURNAL OF EDUCATIONAL RESEARCH 86(2), 176-187, 2019

    J-STAGE 

  • 'Fellow Servants of the Muses' in the Later Roman Empire : Litterati and Empire  [in Japanese]

    西村 昌洋

    本稿は四世紀ローマ帝国における教養人のネットワークに焦点を当てることで、帝政後期の教養文化とローマ帝国との関連について論じる。四世紀のローマ帝国では、数多くの知識人が学業を修め帝国官僚として栄達を遂げるために帝国内を広範囲に移動していた。教養人は知人や後続のために互いに便宜を図り合っており、こうして形成された彼らの交流網は帝国規模に及ぶものだった。当時の教養が最も重んじたのは修辞学であり、修辞学の …

    史林 101(1), 9-43, 2018-01

    IR  DOI 

  • Texture Analysis Using T2 Image of Medial Meniscus Associated with Meniscal Pathologies

    AOKI TAKAKO , ISHIJIMA MUNEAKI , HADA SHINNOSUKE , KANEKO HARUKA , LIU LIZU , KINOSHITA MAYUKO , TAMURA YOSHIFUMI , WATADA HIROTAKA , KANEKO KAZUO

    … <p><b><i>Background: </i></b>Texture analysis derives a general, efficient and compact quantitative description of textures. … The Proton Density Weight Image (PDWI) without FS and Multi Slice Multi Echo (MSME) images of the knee joints were obtained by 0.3 Tesla MRI system. …

    Juntendo Medical Journal 64(Suppl.1), 136-137, 2018

    J-STAGE 

  • Overview of fatigue tolerance design methodology of EN13445  [in Japanese]

    KAMAYA Masayuki

    … was summarized．The fatigue assessment rule consists of two parts;simplified and detailed assessment procedures．Both parts include the assessment procedure for welded and unwelded components．Due to complexity of the description of the assessment procedures，it is not easy to understand the whole view of the code．Then，this manuscript tried to figure out the overview of the code．In particular，differences in the rule between welded and unwelded components and simplified and detailed procedures were focused．This …

    Journal of High Pressure Institute of Japan 56(4), 201-208, 2018

    J-STAGE 

  • Diagrammatic Calculus for Order-sorted Logic

    寺川 宏之 , 吉岡 卓 , TERAKAWA Hiroyuki , YOSHIOKA Suguru

    … However, in dual systems, the description of two different latticesof predicates and sorts, makes us hard to find reasonability between atomic formulae. … Therefore, (i) the reasonability between twodistant atomic formulae and (ii) the scope of partial negation are easily displayed, and inaddition, (iii) that the whole table is adequately maintained even in case new subsumptionrelations are added. … We implemented a deduction system on a computer, and showed itsefficiency. …

    都留文科大學研究紀要 87, 29-42, 2018

    IR 

  • The Dynamic Routing Function for the Freight Management System with the Multiple Ambient Calculus  [in Japanese]

    宮井 亜人夢 , 加藤 暢 , 樋口 昌宏 , 大山 博史

    コンテナ輸送を行う海上物流システムに対し，RFID機器を用いてコンテナの輸送状況を監視する様々な方法が多くの機関で研究・実用化されている．これに対し我々は，海上物流システムの持つ動的な階層構造に着目し，この構造を正確にモデル化することのできる多重Ambient Calculus（MAC）を用いた物流監視システムを研究している．これは，実際の物流システムの中で使用される様々な書類からMACのプロセス …

    情報処理学会論文誌プログラミング（PRO） 9(4), 29-29, 2016-09-12

    IPSJ 

  • Origin and evolution of the nervous system considered from the diffuse nervous system of cnidarians.  [in Japanese]

    KOIZUMI Osamu

    <p>私は，動物界で最も単純な刺胞動物の散在神経系の構造・機能・発生を分子レベルから個体レベルにわたり総合的に研究してきた。そしてその知見を他の集中神経系（哺乳類に至る背側神経系と昆虫や軟体動物頭足類に至る腹側神経系）と比較して，神経系進化の一番底から，２つのルートを眺めて，神経系の起源と進化を考えてきた。その結果，現在，「発達程度は低いとしても，刺胞動物の散在神経系は，神経系の要素の …

    Hikaku seiri seikagaku(Comparative Physiology and Biochemistry) 33(3), 116-125, 2016

    J-STAGE 

  • System physiology of respiratory control in man

    Miyamoto Tadayoshi

    … <p>The respiratory control system is an important chemoreflex-feedback control system that maintains arterial partial pressures of CO<sub>2</sub> … relation) subsystem elements within the respiratory control system. …

    The Journal of Physical Fitness and Sports Medicine 5(5), 329-337, 2016

    J-STAGE 

  • Modelling Grammar and the Description of Semantic System Network  [in Japanese]

    船本 弘史

    … Some are derived from applying the method of 'transfer comparison' to the description of Japanese grammar, which may cause certain difficulties in developing a 'homegrown' framework for analyzing natural text (as Eggins and Slade 1997 does for English). … Yet, more importantly, other problems reside in the lack of the integral model of human communication that handles the whole processes of meaning-making in a specific language. …

    北陸大学紀要 = Bulletin of Hokuriku University (39), 11-30, 2015-12-31

    IR  DOI 

  • Development of Honorific Sentences Comprehension Support System for Foreigners  [in Japanese]

    LI Guoqing , YOSHINO Takashi

    日本語には尊敬語,謙譲語,丁寧語の三つの敬語表現がある.しかし,敬語表現は複雑であり,日本人でも正確に使い分けることが容易でない.特に外国人にとっても敬語文の意味の理解が困難である.理解が困難な理由は,敬語文に馴染みがなく,また,漢字が分からないためである.従来の日本語読解支援システムは,入力された文章に含まれる単語の解説を表示する方法を用いている.そのため,文章と単語の解説を同時に見る必要がある …

    IEICE technical report. Artificial intelligence and knowledge-based processing (461), 7-12, 2015-02-23

  • Simulation System for Multiscale Biological Function Models that Require Complex Calculation Scheme  [in Japanese]

    AMANO Akira , RUSTY Florencio Punzalan , SHIMAYOSHI Takao , KUNIEDA Yoshitoshi

    … Most of them are reports on the correlations between some proteins, or correlations between some proteins and macroscopic phenomena such as whole body hemodynamics. … In this report, we introduce our simulation system which generates simulation programs from biological function models and calculation schemes both described by description languages. …

    Transactions of Japanese Society for Medical and Biological Engineering 53(3), 115-122, 2015

    J-STAGE  Ichushi Web 

  • Type-W1-Dialects and Breakdown of Dialect System : Te-form Verb Phonological Phenomenon in the Southern Kyushu Dialects  [in Japanese]

    有元 光彦

    … particular, I show the description of 'Type-W1-dialects' and the discovery of 'Type-TA##-dialects.' I also describe Minamiosumi-cho dialect which is theoretically located between 'True Te-form Phenomenon Dialects' and 'Whole Te-form Phenomenon Dialects.' I can regard this dialect as the middle stage on 'Change to Non-Te-form-Phenomenon' which is one of the expression of 'Breakdown of Dialect System.' By this theoretical description, I can predict an overall picture of …

    九州大学言語学論集 (35), 300-329, 2015

    IR  DOI 

  • ICONE23-1263 STUDY ON HYDROGEN FLAME ACCELERATION AND DDT PROPERTIES AT ELEVATED TEMPERATURES AND PRESSURES

    Peng Huanhuan , Yu Hongxing

    … As the processes involved in combustion and detonation are quite complex, it is difficult to present a detailed description of the whole process. …

    The Proceedings of the International Conference on Nuclear Engineering (ICONE) 2015.23(0), _ICONE23-1-_ICONE23-1, 2015

    J-STAGE 

  • High Performance Computation by Ontology-based Generative Programming  [in Japanese]

    Koichi Nakamura

    … An ontology is a formal representation of knowledge within a domain, and its description languages and inference algorithms have been well studied. … Our system generates a program to solve target problem with given language, hardware and other conditions by applying translation rules which are selected optimally by inference on the ontology. … For conditions which cannot be examined statically, our system invokes interactive session to leave a decision to the programmer. …

    情報処理学会論文誌プログラミング（PRO） 7(5), 19-19, 2014-12-05

    IPSJ 

  • Hierarchy of Correlation among Different Media of Audiovisual System in Educational Technology and Some Fusion : A Step for Fusion of Literature and Science and a Step in Its Higher Level Progress in e-Learning and Blended Learning  [in Japanese]

    FUJITA Yoshifumi , OHTA Mitsuo

    本報告では、Relationism-Firstの見地に基づいて、人為的計画主体の研究を主に扱う主体的科学と発生事実を第一とする客体的科学の間の架橋や相乗効果を一歩ずつ進めるための方法論的(特に統計的)一接近法を提案した。具体的には,視聴覚システムの統計解析上対照的な二典型例-主体的能動的(or 人為的)計画第一による回帰分析法と客体的受動的な表現第一による頻度分布法(記述統計学)-に密接に関連して …

    電子情報通信学会技術研究報告 = IEICE technical report : 信学技報 114(316), 31-36, 2014-11-20

  • Hierarchy of Correlation among Different Media of Audiovisual System in Educational Technology and Some Fusion : A Step for Fusion of Literature and Science and a Step in Its Higher Level Progress in e-Learning and Blended Learning  [in Japanese]

    FUJITA Yoshifumi , OHTA Mitsuo

    本報告では、Relationism-Firstの見地に基づいて、人為的計画主体の研究を主に扱う主体的科学と発生事実を第一とする客体的科学の間の架橋や相乗効果を一歩ずつ進めるための方法論的(特に統計的)一接近法を提案した。具体的には,視聴覚システムの統計解析上対照的な二典型例-主体的能動的(or人為的)計画第一による回帰分析法と客体的受動的な表現第一による頻度分布法(記述統計学)-に密接に関連して、 …

    Technical report of IEICE. EA 114(315), 31-36, 2014-11-20

  • Validation of UML Timing Diagrams Using Timed Automata  [in Japanese]

    KAJIMURA Kengo , SHINKAWA Yoshiyuki

    従来,UMLは業務系システムのモデリングに適したモデル記述言語として,情報システムの分析・設計・製作・評価の各工程で幅広く用いられてきた.しかし,組込システムの発展により,UMLも,よりハードウエアに近い領域でのソフトウェア設計にも利用できることが求められ,UML2.0よりタイミング図が利用可能となっている.タイミング図はステートマシン図によるオブジェクトの状態遷移と,シーケンス図によるオブジェク …

    IEICE technical report 114(188), 17-21, 2014-08-21

  • Modeling a formal specification based on dependable case analysis  [in Japanese]

    大森洋一 , 日下部茂 , 林信宏 , 荒木啓二郎

    上流工程からの検証は,ソフトウェア開発における手戻りコストを抑えるために重要であることが知られている.フォーマルメソッドは,数理的なモデルにより対象を記述し開発の初期段階からの検証を可能とする.フォーマルなモデルを記述するためには,対象の仕様を理解しなければならないが,仕様書の構成は,必ずしもモデルにより抽象化された対象の構造と適合しない.したがって,モデル記述者は仕様書の全体を理解しなくてはなら …

    IPSJ SIG Notes 2014-SE-183(26), 1-8, 2014-03-12

Page Top