1,057 research outputs found
Noboru Taguma's, "reasons I didn't report for physical examination and pre-induction"
No full textNoboru Taguma lists his reasons why he didn't report for physical examination and pre-induction.The Japanese American Archival Collection documents the people, places, and daily life of Japanese Americans, primarily those who lived in the once thriving community of pre-war Florin in the Sacramento region, as well as the conditions in American incarceration camps during World War II. The approximately 7,000 original items include personal and official letters, photographs, diaries, arts and crafts, newsletters, textiles, camps artifacts, yearbooks and other publications
Fubini’s Theorem
No full textFubini theorem is an essential tool for the analysis of high-dimensional space [8], [2], [3], a theorem about the multiple integral and iterated integral. The author has been working on formalizing Fubini’s theorem over the past few years [4], [6] in the Mizar system [7], [1]. As a result, Fubini’s theorem (30) was proved in complete form by this article.National Institute of Technology, Gifu College, 2236-2 Kamimakuwa, Motosu, Gifu, JapanGrzegorz Bancerek, Czesław Byliński, Adam Grabowski, Artur Korniłowicz, Roman Matuszewski, Adam Naumowicz, and Karol Pak. The role of the Mizar Mathematical Library for interactive proof development in Mizar. Journal of Automated Reasoning, 61(1):9–32, 2018. doi:10.1007/s10817-017-9440-6.Heinz Bauer. Measure and Integration Theory. Walter de Gruyter Inc., 2002.Vladimir Igorevich Bogachev and Maria Aparecida Soares Ruas. Measure theory, volume 1. Springer, 2007.Noboru Endou. Fubini’s theorem on measure. Formalized Mathematics, 25(1):1–29, 2017. doi:10.1515/forma-2017-0001.Noboru Endou. Integral of non positive functions. Formalized Mathematics, 25(3):227–240, 2017. doi:10.1515/forma-2017-0022.Noboru Endou. Fubini’s theorem for non-negative or non-positive functions. Formalized Mathematics, 26(1):49–67, 2018. doi:10.2478/forma-2018-0005.Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.P. R. Halmos. Measure Theory. Springer-Verlag, 1974.271677
Kecemasan Yang Dialami Tokoh Noboru Terao Ketika Menghadapi Hubungan Jarak Jauh Dalam Novel Hoshi No Koe Karya Waku Oba
No full textABSTRAK
Penelitian ini meneliti kecemasan yang dialami tokoh Noboru Terao dalam novel Hoshi no Koe. Novel tersebut menceritakan tentang sepasang kekasih yang terpisah antara bumi dan luar angkasa. Kedua tokoh utama terpaksa harus menjalani hubungan jarak jauh. Dalam menjalani hubungan jarak jauh kedua tokoh mengalami berbagai macam kecemasan. Dari cerita novel tersebut, penulis tertarik untuk meneliti kecemasan yang dialami tokoh dalam menghadapi hubungan jarak jauh pada novel tersebut. Tokoh utama dalam novel ini ada dua yaitu Noboru Terao dan Mikako Nagamine, namun pada penelitian ini peneliti akan meneliti kecemasan yang dialami tokoh Noboru Terao saja. Penelitian ini akan menggunakan teori kecemasan yang ditemukan oleh Freud. Penelitian ini akan menggunakan metode deskriptif analisis. Objek penelitiannya merupakan kutipan-kutipan yang berkaitan dengan kecemasan yang dialami Noboru Terao ketika menjalani hubungan jarak jauh. Karena kecemasan merupakan bidang psikologi, penelitian ini akan menggunakan pendekatan psikologi sastra. Dari penelitian ini dapat disimpulkan bahwa dalam novel Hoshi no Koe teraplikasikan teori kecemasan melewati tokoh.
Kata Kunci : kecemasan, psikologi sastra, hoshi no koe
ABSTRACT
This research examines the anxiety of the character Noboru Terao in the novel Hoshi no Koe. The Novel tells the story of a separate pair of lovers between the earth and outer space. The two main characters are forced to undergo long-distance relationships. In undergoing a long-distance relationship, both figures experience various kinds of anxiety. From the novel\u27s story, the author is interested in researching the anxiety experienced by the figure in facing a long-distance relationship to the novel. The main characters in the novel are both Noboru Terao and Mikako Nagamine, but in this research researchers will examine the anxiety experienced by the Noboru Terao figure. This study will use the anxiety theory discovered by Freud. This research will use a descriptive method of analysis. The object of the research is a collection related to the anxiety that Noboru Terao experienced when undergoing a long-distance relationship. Because anxiety is a field of psychology, this study will use a literary psychology approach. From this research can be concluded that in the novel Hoshi No Koe applied the theory of anxiety through the figure.
Keyword : anxiety, psychology literature, hoshi no ko
Serum tau protein as a marker of disease activity in enterohemorrhagic Escherichia coli O111-induced hemolytic uremic syndrome
No full text金沢大学博士（医学）博士論文要旨Abstract 以下に掲載：Neurochemistry International 85-86 pp.24-30 2015. Oxford [Elmsford, N. Y.] Pergamon Press. 共著者：Mondo Kuroda, Masaki Shimizu, Natsumi Inoue, Iku Ikeno, Hiroyasu Nakagawa, Ayano Yokoi, Yo Niida, Michio Konishi, Hisashi Kaneda, Noboru Igarashi, Junya Yamahana, Hiromichi Taneichi, Hirokazu Kanegane, Mika Ito, Shigeru Saito, Kengo Furuichi, Takashi Wada, Masaru Nakagawa, Hitoshi Yokoyama, Akihiro Yachiethesi
Compact complex surfaces admitting non-trivial surjective endomorphisms
No full textSmooth compact complex surfaces admitting non-trivial surjective endomorphisms are classified up to isomorphism. The algebraic case was dealt with earlier by the authors. The following surfaces are listed in the non-algebraic case: a complex torus, a Kodaira surface, a Hopf surface with at least two curves, a successive blowups of an Inoue surface with curves whose centers are nodes of curves, and an Inoue surface without curves satisfying a rationality condition.Articledepartmental bulletin pape
Five cases of primary aldosteronism: a comparative study on diagnosis for localization of adrenal tumor
No full text原発性アルドステロン症の5例について各種検査法の有用性を検討した.1) CTでは, 全例にlow density areaを認め, 3例で明確に腺腫像を認めた.副腎シンチグラフィーでは, 3例で左右差を認め, さらにデキサメサゾン投与後の検査では, 正常部へのとりこみの抑制による左右差がより明確化した.静脈造影では, 血管走行の変化もしくは腺腫像として認められたのは1例にすぎなかったが, 同時に施行し得た静脈カテーテル法によって, 全例に局在診断が可能であった.2)以上より本症に対する局在診断のすすめかたとしては, 侵襲の少ない点から, CTもしくはシンチより行う, シンチの場合, デキサメゾン投与がさらに有用になると思われる.3)静脈造影は, 侵襲の大きさに比し, 診断率において劣るが, 同時に行える静脈カテーテル法によるアルドステロン測定は診断率が高く, 非常に有用であることから, 最終的には行われるべきであろうFive cases of primary aldosteronism are reported, and several techniques to localize the tumor were evaluated. On computed tomography which is a noninvasive technique, low density areas were identified in all cases, and definite adenomas were clearly detected in three of five cases. Adrenal scintigraphy with 131I-19-iodocholesterol is another noninvasive technique that showed unilaterally increased uptake in two cases. Dexamethasone inhibits the uptake of labeled cholesterol by hyperplastic or normal glands but does not interfere with the uptake by an adenoma. Using this technique, it was possible to lateralize additionally the tumor in one case. Adrenal venography which is an invasive technique that showed a circular deformity with tumor depicted the tumor in only one case. However, the venous effluent was sampled simultaneously from both glands and the plasma aldosterone concentration in each sample assayed. An increase in aldosterone concentration on only one side localizes the aldosterone producing adenoma to that side. The method was highly accurate, and provided the correct diagnosis preoperatively in all cases. Being a noninvasive technique, computed tomography and adrenal scintigraphy should be undertaken initially, and venography coupled with measurements of aldosterone concentrations in the left and right adrenal venous effluent could be a definitive procedure before surgery
Double Series and Sums
No full textIn this paper the author constructs several properties for double series and its convergence. The notions of convergence of double sequence have already been introduced in our previous paper [18]. In section 1 we introduce double series and their convergence. Then we show the relationship between Pringsheim-type convergence and iterated convergence. In section 2 we study double series having non-negative terms. As a result, we have equality of three type sums of non-negative double sequence. In section 3 we show that if a non-negative sequence is summable, then the sequence of rearrangement of terms is summable and it has the same sums. In the last section two basic relations between double sequences and matrices are introduced.This work was supported by JSPS KAKENHI 23500029.Gifu National College of Technology Gifu, JapanGrzegorz Bancerek. Cardinal numbers. Formalized Mathematics, 1(2):377-382, 1990.Grzegorz Bancerek. Tarski’s classes and ranks. Formalized Mathematics, 1(3):563-567, 1990.Grzegorz Bancerek. The fundamental properties of natural numbers. Formalized Mathematics, 1(1):41-46, 1990.Grzegorz Bancerek. The ordinal numbers. Formalized Mathematics, 1(1):91-96, 1990.Grzegorz Bancerek. Representation theorem for stacks. Formalized Mathematics, 19(4): 241-250, 2011. doi:10.2478/v10037-011-0033-2.Grzegorz Bancerek and Krzysztof Hryniewiecki. Segments of natural numbers and finite sequences. Formalized Mathematics, 1(1):107-114, 1990.Czesław Bylinski. Binary operations. Formalized Mathematics, 1(1):175-180, 1990.Czesław Bylinski. The complex numbers. Formalized Mathematics, 1(3):507-513, 1990.Czesław Bylinski. Finite sequences and tuples of elements of a non-empty sets. Formalized Mathematics, 1(3):529-536, 1990.Czesław Bylinski. Some properties of restrictions of finite sequences. Formalized Mathematics, 5(2):241-245, 1996.Czesław Bylinski. Functions and their basic properties. Formalized Mathematics, 1(1): 55-65, 1990.Czesław Bylinski. Functions from a set to a set. Formalized Mathematics, 1(1):153-164, 1990.Czesław Bylinski. Partial functions. Formalized Mathematics, 1(2):357-367, 1990.Czesław Bylinski. The sum and product of finite sequences of real numbers. Formalized Mathematics, 1(4):661-668, 1990.Czesław Bylinski. Some basic properties of sets. Formalized Mathematics, 1(1):47-53, 1990.Agata Darmochwał. Finite sets. Formalized Mathematics, 1(1):165-167, 1990.Noboru Endou, Keiko Narita, and Yasunari Shidama. The Lebesgue monotone convergence theorem. Formalized Mathematics, 16(2):167-175, 2008. doi:10.2478/v10037-008-0023-1.Noboru Endou, Hiroyuki Okazaki, and Yasunari Shidama. Double sequences and limits. Formalized Mathematics, 21(3):163-170, 2013. doi:10.2478/forma-2013-0018.Fuguo Ge and Xiquan Liang. On the partial product of series and related basic inequalities. Formalized Mathematics, 13(3):413-416, 2005.Andrzej Kondracki. Basic properties of rational numbers. Formalized Mathematics, 1(5): 841-845, 1990.Artur Korniłowicz. On the real valued functions. Formalized Mathematics, 13(1):181-187, 2005.Jarosław Kotowicz. Convergent sequences and the limit of sequences. Formalized Mathematics, 1(2):273-275, 1990.Gilbert Lee. Weighted and labeled graphs. Formalized Mathematics, 13(2):279-293, 2005.Konrad Raczkowski and Andrzej Nedzusiak. Series. Formalized Mathematics, 2(4):449-452, 1991.Michał J. Trybulec. Integers. Formalized Mathematics, 1(3):501-505, 1990.Wojciech A. Trybulec. Non-contiguous substrings and one-to-one finite sequences. Formalized Mathematics, 1(3):569-573, 1990.Zinaida Trybulec. Properties of subsets. Formalized Mathematics, 1(1):67-71, 1990.Edmund Woronowicz. Relations and their basic properties. Formalized Mathematics, 1 (1):73-83, 1990.Edmund Woronowicz. Relations defined on sets. Formalized Mathematics, 1(1):181-186, 1990.Bo Zhang and Yatsuka Nakamura. The definition of finite sequences and matrices of probability, and addition of matrices of real elements. Formalized Mathematics, 14(3): 101-108, 2006. doi:10.2478/v10037-006-0012-1
New trend of animal cell engineering.3.(5).Animal cell engineering and glycotechnology.Carbohydrate structure of glycoprotein produced in animal cell.
No full text
- …
