Results for 'Takeshi Yamazaki'

(not author) ( search as author name )
297 found
Order:
  1.  45
    Uniform versions of some axioms of second order arithmetic.Nobuyuki Sakamoto & Takeshi Yamazaki - 2004 - Mathematical Logic Quarterly 50 (6):587-593.
    In this paper, we discuss uniform versions of some axioms of second order arithmetic in the context of higher order arithmetic. We prove that uniform versions of weak weak König's lemma WWKL and Σ01 separation are equivalent to over a suitable base theory of higher order arithmetic, where is the assertion that there exists Φ2 such that Φf1 = 0 if and only if ∃x0 for all f. We also prove that uniform versions of some well-known theorems are equivalent to (...)
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  2.  46
    Reverse Mathematics and Completeness Theorems for Intuitionistic Logic.Takeshi Yamazaki - 2001 - Notre Dame Journal of Formal Logic 42 (3):143-148.
    In this paper, we investigate the logical strength of completeness theorems for intuitionistic logic along the program of reverse mathematics. Among others we show that is equivalent over to the strong completeness theorem for intuitionistic logic: any countable theory of intuitionistic predicate logic can be characterized by a single Kripke model.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  3.  12
    Some More Conservation Results on the Baire Category Theorem.Takeshi Yamazaki - 2000 - Mathematical Logic Quarterly 46 (1):105-110.
    In this paper, we generalize a result of Brown and Simpson [1] to prove that RCA0+Π0∞-BCT is conservative over RCA0 with respect to the set of formulae in the form ∃!Xφ, where φ is arithmetical. We also consider the conservation of Π00∞-BCT over Σb1-NIA+∇b1-CA.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  4.  33
    Two kinds of fixed point theorems and reverse mathematics.Weiguang Peng & Takeshi Yamazaki - 2017 - Mathematical Logic Quarterly 63 (5):454-461.
    In this paper, we investigate the logical strength of two types of fixed point theorems in the context of reverse mathematics. One is concerned with extensions of the Banach contraction principle. Among theorems in this type, we mainly show that the Caristi fixed point theorem is equivalent to math formula over math formula. The other is dedicated to topological fixed point theorems such as the Brouwer fixed point theorem. We introduce some variants of the Fan-Browder fixed point theorem and the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  5.  11
    Evolutionary Origin of Distinct NREM and REM Sleep.Risa Yamazaki, Hirofumi Toda, Paul-Antoine Libourel, Yu Hayashi, Kaspar E. Vogt & Takeshi Sakurai - 2020 - Frontiers in Psychology 11.
    Sleep is mandatory in most animals that have the nervous system and is universally observed in model organisms ranging from the nematodes, zebrafish, to mammals. However, it is unclear whether different sleep states fulfill common functions and are driven by shared mechanisms in these different animal species. Mammals and birds exhibit two obviously distinct states of sleep, i.e., non-rapid eye movement sleep and rapid eye movement sleep, but it is unknown why sleep should be so segregated. Studying sleep in other (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  25
    Does truth-table of linear norm reduce the one-query tautologies to a random oracle?Masahiro Kumabe, Toshio Suzuki & Takeshi Yamazaki - 2008 - Archive for Mathematical Logic 47 (2):159-180.
    In our former works, for a given concept of reduction, we study the following hypothesis: “For a random oracle A, with probability one, the degree of the one-query tautologies with respect to A is strictly higher than the degree of A.” In our former works (Suzuki in Kobe J. Math. 15, 91–102, 1998; in Inf. Comput. 176, 66–87, 2002; in Arch. Math. Logic 44, 751–762), the following three results are shown: The hypothesis for p-T (polynomial-time Turing) reduction is equivalent to (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  7.  50
    A non-standard construction of Haar measure and weak könig's lemma.Kazuyuki Tanaka & Takeshi Yamazaki - 2000 - Journal of Symbolic Logic 65 (1):173-186.
    In this paper, we show within RCA 0 that weak Konig's lemma is necessary and sufficient to prove that any (separable) compact group has a Haar measure. Within WKL 0 , a Haar measure is constructed by a non-standard method based on a fact that every countable non-standard model of WKL 0 has a proper initial part isomorphic to itself [10].
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  8.  50
    Some conservation results on weak König's lemma.Stephen G. Simpson, Kazuyuki Tanaka & Takeshi Yamazaki - 2002 - Annals of Pure and Applied Logic 118 (1-2):87-114.
    By , we denote the system of second-order arithmetic based on recursive comprehension axioms and Σ10 induction. is defined to be plus weak König's lemma: every infinite tree of sequences of 0's and 1's has an infinite path. In this paper, we first show that for any countable model M of , there exists a countable model M′ of whose first-order part is the same as that of M, and whose second-order part consists of the M-recursive sets and sets not (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  9. Yamazaki Masakazu zenshū.Masakazu Yamazaki - 1900 - Tōkyō: Asahi Shuppansha.
     
    Export citation  
     
    Bookmark  
  10.  13
    Tanabe Hajime and the Kyoto School: self, world, and knowledge.Takeshi Morisato - 2021 - New York: Bloomsbury Academic.
    This introduction to Tanabe Hajime (1885-1962), the critical successor of the "father of contemporary Japanese philosophy" Nishida Kitaro (1870-1945), focuses on Hajime's central philosophical ideas and perspective on "self," "world," "knowledge," and the "purpose of philosophizing". Exploring his notable philosophical ideas including the logic of species, metanoetics, and philosophy of death, it addresses his life-long study of the history of Western philosophy. It sets out his belief that Western framework of thinking is incapable of giving sufficient answers to the philosophical (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. Yamazaki Ansai.Ansai Yamazaki - 1979
     
    Export citation  
     
    Bookmark  
  12.  12
    Faith and reason in continental and Japanese philosophy: reading Tanabe Hajime and William Desmond.Takeshi Morisato - 2019 - New York, NY: Bloomsbury Academic.
    This book brings together the work of two significant figures in contemporary philosophy. By considering the work of Tanabe Hajime, the Japanese philosopher of the Kyoto School, and William Desmond, the contemporary Irish philosopher, Takeshi Morisato offers a clear presentation of contemporary comparative solutions to the problems of the philosophy of religion. Importantly, this is the first book-length English-language study of Tanabe Hajime's philosophy of religion that consults the original Japanese texts. Considering the examples of Christianity and Buddhism, Faith (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  13. Kinshiroku.Michio Yamazaki - 1967 - Edited by Xi Zhu.
     
    Export citation  
     
    Bookmark  
  14. Naimu no shitsuke.Keiichirō Yamazaki - 1941 - Tōkyō: Takumasha.
    No categories
     
    Export citation  
     
    Bookmark  
  15. “The Logic of Species”: A Translation of Tosaka Jun’s Commentary on Tanabe Hajime.Takeshi Kimoto - forthcoming - Journal of East Asian Philosophy:1-13.
    In this translation of his 1936 essay, Tosaka Jun critically examines Tanabe Hajime’s “logic of species,” paying particular attention to its basis, i.e. the logic of “absolute mediation” that Tanabe had devised earlier. In 1936, the logic of species had only been developed within a few texts, including “The Logic of Social Being” (1934–5) and “The Logic of Species and the World Schema” (1935). Interestingly enough, Tosaka agrees to a certain extent with Tanabe’s criticism of the “logic of nothingness” lying (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  20
    Paradox of choice and sharing personal information.Takeshi Ebina & Keita Kinjo - 2023 - AI and Society 38 (1):121-132.
    The purpose of this study is to investigate the relationship between a firm’s strategy and consumers’ decisions in the presence of the paradox of choice and sharing personal information. The paradox of choice implies that having too many choices does not necessarily ensure happiness and sometimes having less is more. A new model is constructed introducing a factor of information sharing into the model of a previous study that embedded the paradox of choice only (Kinjo and Ebina in AI Soc (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  17.  11
    The application of theories of the body to teaching physical education.Takeshi Azuma & Keiji Umeno - 2000 - Journal of the Philosophy of Sport and Physical Education 22 (1):1-15.
  18.  6
    Shiome no yochō: nikki 2013-4--2015-3.Takeshi Hara - 2015 - Tōkyō-to Bunkyō-ku: Misuzu Shobō.
    本書は、2013年4月1日から2015年3月31日までの2年間、『みすず』誌に連載された「日記」を一書にしたものである。大学人としての仕事や作家として執筆に追われながら、政治学者として世の動向を分析し 、皇室の動きを観察し、鉄道旅行をする。日常から時代を解読する試み。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  19.  21
    Κ-確実探査法と動的計画法を用いた mdps 環境の効率的探索法.Kawada Seiichi Tateyama Takeshi - 2001 - Transactions of the Japanese Society for Artificial Intelligence 16:11-19.
    One most common problem in reinforcement learning systems (e.g. Q-learning) is to reduce the number of trials to converge to an optimal policy. As one of the solution to the problem, k-certainty exploration method was proposed. Miyazaki reported that this method could determine an optimal policy faster than Q-learning in Markov decision processes (MDPs). This method is very efficient learning method. But, we propose an improvement plan that makes this method more efficient. In k-certainty exploration method, in case there is (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20.  5
    Nihon shisōshi shinron: puragumatizumu kara nashonarizumu e.Takeshi Nakano - 2012 - Tōkyō: Kabushiki Kaisha Chikuma Shobō.
    幕末の危機に際して、優れた国家戦略を構想した会沢正志斎。尊王攘夷を唱えつつ、抜本的な内政改革を訴えた彼の『新論』はけっして無謀な排外主義ではなかった。むしろそのプラグマティックで健全なナショナリズムに 学ぶべきところは大きい。正志斎の思想の秘められたルーツを伊藤仁斎、荻生徂徠の古学に探り、やがてその実学の精神が福沢諭吉の戦略思想に引き継がれていることを解明。隠された思想の系譜を掘り起こし、現代日本人 が求めてやまない国家戦略の封印を解き放つ。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  21. Benshōhō ronrigaku josetsu.Takeshi Shinozaki - 1957 - 32 i.: E..
    No categories
     
    Export citation  
     
    Bookmark  
  22. Ronrigaku nyūmon.Takeshi Shinozaki - 1953
     
    Export citation  
     
    Bookmark  
  23.  7
    Hyōden Sei Gyūkei: Chōsen no Kōshibyō to jugakusha.Takeshi Yagi - 2022 - Kyōto-shi: Rinsen Shoten.
    Direct download  
     
    Export citation  
     
    Bookmark  
  24.  9
    Andō Shōeki no jitsuzō: kindaiteki shiten o koete.Nobuo Yamazaki - 2016 - Tōkyō: Nōbunkyō.
    Direct download  
     
    Export citation  
     
    Bookmark  
  25. Rinrigaku kihon.Teruo Yamazaki - 1963
    No categories
     
    Export citation  
     
    Bookmark  
  26.  31
    Consumer confusion from price competition and excessive product attributes under the curse of dimensionality.Takeshi Ebina & Keita Kinjo - 2019 - AI and Society 34 (3):615-624.
    The purpose of our study is to investigate the effects of the number of products, product attributes, and prices on consumer confusion, conduct a numerical analysis to check the robustness of the results, and present an example of the cell phone market in Japan. Following an ideal point model and embedding the number of products and product attributes, we clarify how these factors affect consumer confusion and purchase probability. We show that as the number of product attributes increases, the choice (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  51
    Collaborative discovery in a scientific domain.Takeshi Okada & Herbert A. Simon - 1997 - Cognitive Science 21 (2):109-146.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   27 citations  
  28.  4
    Seibutsuken no keijijōgaku: uchū, hito, biseibutsu.Takeshi Naganuma - 2017 - Tōkyō-to Chiyoda-ku: Seidosha.
    宇宙はなぜ“果てない”のか、ヒトはなぜ“考える”のか、微生物はなぜ“小さい”のか―分野を横断し、時制を越境して、生きものの可能性をラディカルに照らす、生物学界の「風雲児」長沼毅の集大成。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  29.  3
    Hashikawa Bunsō: shakai no mujun o utsu shisō: ima Nihon o kangaeru.Takeshi Nakajima & Shunsuke Sugita (eds.) - 2022 - Tōkyō-to Shibuya-ku: Kawade Shobō Shinsha.
    私たちにとって歴史とは何か。改めて歴史意識を取り戻すため、橋川文三を今、とらえ、読むための入門書。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  30. Henkaku to hangyaku no shichijūshichinen.Ken Yamazaki - 1979
     
    Export citation  
     
    Bookmark  
  31. Yoken to jissen.Ken Yamazaki - 1977 - Edited by Kōsuke Yagi.
    No categories
     
    Export citation  
     
    Bookmark  
  32. Presentism and the Triviality Objection.Takeshi Sakon - 2015 - Philosophia 43 (4):1089-1109.
    Presentism is usually understood as the thesis that only the present exists whereas the rival theory of eternalism is usually understood as the thesis that past, present, and future things are all equally real. The significance of this debate has been threatened by the so-called triviality objection, which allegedly shows that the presentist thesis is either trivially true or obviously false: Presentism is trivially true if it is read as saying that everything that exists now is present, and it is (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  33. Asian Philosophical Texts Vol. 1.Takeshi Morisato & Roman Pașca (eds.) - 2019 - Mimesis International.
    No categories
     
    Export citation  
     
    Bookmark  
  34. Nihon tetsugaku.Takeshi Fukuhara - 1934 - Tōkyō: Bukkyō Nenkansha.
  35. Kokuminshugi keizaigaku no kiso riron.Takeshi Furukawa - 1937
     
    Export citation  
     
    Bookmark  
  36.  9
    Hēgeru ni okeru risei kokka rekishi.Takeshi Gonza - 2010 - Tōkyō: Iwanami Shoten.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37. Imperial solution, Rhine confederation reforms and the problem of state sovereignty-The origin of Hegel's theory of sovereignty and its historical background.Takeshi Gonza - 2006 - Hegel-Studien 41:113-147.
     
    Export citation  
     
    Bookmark  
  38.  25
    Mari Miura, Welfare through Work: Conservative Ideas, Partisan Dynamics, and Social Protection in Japan, Ithaca, NY: Cornell University Press, 2012.Takeshi Hieda - 2014 - Japanese Journal of Political Science 15 (3):518-520.
    No categories
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  39. Shakaigakujō yori mitaru bushidō no honshitsu.Takeshi Koga - 1940 - Tōkyō: Bungei Nihonsha.
     
    Export citation  
     
    Bookmark  
  40.  31
    An evaluation of risk factors for adverse drug events associated with angiotensin‐converting enzyme inhibitors.Takeshi Morimoto, Tejal K. Gandhi, Julie M. Fiskio, Andrew C. Seger, Joseph W. So, E. Francis Cook, Tsuguya Fukui & David W. Bates - 2004 - Journal of Evaluation in Clinical Practice 10 (4):499-509.
  41. Taiheiki to bushidō.Takeshi Takagi - 1940 - Tokyo: Hanbaijo, Naikaku Insatsukyoku Hakkōka.
     
    Export citation  
     
    Bookmark  
  42.  11
    Reading “The Tale of Genji”: Sources from the First Millennium. Edited by Thomas Harper and Haruo Shirane.Takeshi Watanabe - 2022 - Journal of the American Oriental Society 139 (3).
    Reading “The Tale of Genji”: Sources from the First Millennium. Edited by Thomas Harper and Haruo Shirane. New York: Columbia University Press, 2015. Pp. xx + 610. $65.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  43.  29
    Wine, Rice, or Both? Overwriting Sectarian Strife in the Tendai Shuhanron Debate.Takeshi Watanabe - 2009 - Japanese Journal of Religious Studies 36 (2):259-278.
    Direct download  
     
    Export citation  
     
    Bookmark  
  44.  9
    Wine, Rice, or Both?Takeshi Watanabe - 2009 - Japanese Journal of Religious Studies 36 (2):259-278.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45. Benshōhō ronri.Ken Yamazaki - 1975
     
    Export citation  
     
    Bookmark  
  46. Genshōgaku no tenkai.Yōsuke Yamazaki - 1974
     
    Export citation  
     
    Bookmark  
  47. Naimu kyōiku no sankō.Keiichirō Yamazaki - 1936 - Tōkyō: Takumasha.
    No categories
     
    Export citation  
     
    Bookmark  
  48. Rekishi no shinjitsu to seiji no seigi.Masakazu Yamazaki - 2000 - Tōkyō: Chūō Kōron Shinsha.
  49.  80
    Imitation, Inspiration, and Creation: Cognitive Process of Creative Drawing by Copying Others' Artworks.Takeshi Okada & Kentaro Ishibashi - 2017 - Cognitive Science 41 (7):1804-1837.
    To investigate the cognitive processes underlying creative inspiration, we tested the extent to which viewing or copying prior examples impacted creative output in art. In Experiment 1, undergraduates made drawings under three conditions: copying an artist's drawing, then producing an original drawing; producing an original drawing without having seen another's work; and copying another artist's work, then reproducing that artist's style independently. We discovered that through copying unfamiliar abstract drawings, participants were able to produce creative drawings qualitatively different from the (...)
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  50.  19
    Glass formability and the Al–Au system.Takeshi Egami, Madhusudan Ojha, Donald M. Nicholson, Dmitri V. Louzguine-Luzgin, Na Chen & Akihisa Inoue - 2012 - Philosophical Magazine 92 (6):655-665.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 297