Results for 'Kazuo Tanaka'

477 found
Order:
  1. An Introduction to Fuzzy Logic for Practical Applications.Kazuo Tanaka - 1996 - Springer.
    Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using fuzzy if-then rules which make use of human knowledge (...)
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  2.  1
    In-situcharacterization of iron silicide islands on Si.Miyoko Tanaka, Ming Han, Masaki Takeguchi & Kazuo Furuya - 2004 - Philosophical Magazine 84 (25-26):2699-2709.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3. Simpson, SG, Tanaka, K. and Yamazaki, T., Some conserva.K. Tanaka - 2002 - Annals of Pure and Applied Logic 118:249.
  4.  7
    Tanaka’s theorem revisited.Saeideh Bahrami - 2020 - Archive for Mathematical Logic 59 (7-8):865-877.
    Tanaka proved a powerful generalization of Friedman’s self-embedding theorem that states that given a countable nonstandard model \\) of the subsystem \ of second order arithmetic, and any element m of \, there is a self-embedding j of \\) onto a proper initial segment of itself such that j fixes every predecessor of m. Here we extend Tanaka’s work by establishing the following results for a countable nonstandard model \\ \)of \ and a proper cut \ of \:Theorem (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5.  16
    Saving MGG: 実数値 GA/MGG における適応度評価回数の削減.Tsuchiya Chikao Tanaka Masaharu - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21 (6):547-555.
    In this paper, we propose an extension of the Minimal Generation Gap (MGG) to reduce the number of fitness evaluation for the real-coded GAs (RCGA). When MGG is applied to actual engineering problems, for example applied to optimization of design parameters, the fitness calculating time is usually huge because MGG generates many children from one pair of parents and the fitness is calculated by repetitive simulation or analysis. The proposed method called Saving MGG reduces the number of fitness evaluation by (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6.  14
    The self-embedding theorem of WKL0 and a non-standard method.Kazuyuki Tanaka - 1997 - Annals of Pure and Applied Logic 84 (1):41-49.
    We prove that every countable non-standard model of WKL0 has a proper initial part isomorphic to itself. This theorem enables us to carry out non-standard arguments over WKL0.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   19 citations  
  7. Culturing community development, neighborhood open space, and civic agriculture: The case of Latino community gardens in New York City. [REVIEW]Laura Saldivar-Tanaka & Marianne E. Krasny - 2004 - Agriculture and Human Values 21 (4):399-412.
    To determine the role Latino community gardens play in community development, open space, and civic agriculture, we conducted interviews with 32 community gardeners from 20 gardens, and with staff from 11 community gardening support non-profit organizations and government agencies. We also conducted observations in the gardens, and reviewed documents written by the gardeners and staff from 13 support organizations and agencies. In addition to being sites for production of conventional and ethnic vegetables and herbs, the gardens host numerous social, educational, (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   16 citations  
  8.  10
    Weak axioms of determinacy and subsystems of analysis I: δmath image games.Kazuyuki Tanaka - 1990 - Mathematical Logic Quarterly 36 (6):481-491.
    Direct download  
     
    Export citation  
     
    Bookmark   8 citations  
  9.  8
    Review: Kazuo Matsumoto, On a Lattice Relating to Intuitionistic Logic. [REVIEW]Frederic B. Fitch - 1959 - Journal of Symbolic Logic 24 (3):250-250.
  10.  7
    Matsumoto Kazuo. On a lattice relating to intuitionistic logic. Journal of the Osaka Institute of Science and Technology, vol. 2 no. 1–2 , pp. 97–107. [REVIEW]Frederic B. Fitch - 1959 - Journal of Symbolic Logic 24 (3):250-250.
  11.  6
    Matsumoto Kazuo. Sur la structure concernant la logique moderne. Journal of the Osaka Institute of Science and Technology , Part I, Mathematics and physics, vol. 2 no. 1–2 , pp. 67–78. [REVIEW]Frederic B. Fitch - 1958 - Journal of Symbolic Logic 23 (4):443-444.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Abstraction of sensory-motor features.Kazuo Hiraki - 1994 - In Ashwin Ram & Kurt Eiselt (eds.), Proceedings of the Sixteenth Annual Conference of the Cognitive Science Society. Erlbaum.
     
    Export citation  
     
    Bookmark  
  13. Hō No Kaishaku to Tekiyō.Kazuo Ichien - 1958
     
    Export citation  
     
    Bookmark  
  14. F24. Current Status and Ethical Concerns of Assisted Reproductive Technology in Japan.Kazuo Sato - forthcoming - Bioethics in Asia: The Proceedings of the Unesco Asian Bioethics Conference (Abc'97) and the Who-Assisted Satellite Symposium on Medical Genetics Services, 3-8 Nov, 1997 in Kobe/Fukui, Japan, 3rd Murs Japan International Symposium, 2nd Congress of the Asi.
     
    Export citation  
     
    Bookmark  
  15.  4
    Review: Kazuo Matsumoto, Sur la Structure Concernant la Logique Moderne. [REVIEW]Frederic B. Fitch - 1958 - Journal of Symbolic Logic 23 (4):443-444.
  16.  18
    Christianity and the Notion of Nothingness: Contributions to Buddhist-Christian Dialogue From the Kyoto School.Kazuo Mutō - 2012 - Brill.
    The Christian philosopher Muto Kazuo contributed substantially to the predominantly Buddhist “Kyoto School of Philosophy.” Through critical exchange with its representatives, he opened up new perceptions of Christian faith, enabled mutual understanding between Buddhism and Christianity, and challenged the Western dialectical method.
    Direct download  
     
    Export citation  
     
    Bookmark  
  17.  10
    Kazuo Matsumoto. Decision procedure for modal sentential calculus S3. Osaka mathematical journal, vol. 12 no. 1 , pp. 167–175. [REVIEW]Richard Routley - 1975 - Journal of Symbolic Logic 40 (3):468.
  18.  21
    Kripke Completeness of Infinitary Predicate Multimodal Logics.Yoshihito Tanaka - 1999 - Notre Dame Journal of Formal Logic 40 (3):326-340.
    Kripke completeness of some infinitary predicate modal logics is presented. More precisely, we prove that if a normal modal logic above is -persistent and universal, the infinitary and predicate extension of with BF and BF is Kripke complete, where BF and BF denote the formulas pi pi and x x, respectively. The results include the completeness of extensions of standard modal logics such as , and its extensions by the schemata T, B, 4, 5, D, and their combinations. The proof (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  19. A Method of Producing No Thermal Stress in Statically Indeterminate Structure.Kazuo Tomonaga - 1965 - In Karl W. Linsenmann (ed.), Proceedings. St. Louis, Lutheran Academy for Scholarship. pp. 95.
  20. Duncan Ryuken Williams and Tomoe Moriya, eds., Issei Buddhism in the Americas.Kenneth K. Tanaka - 2011 - Japanese Journal of Religious Studies 38 (2).
  21.  14
    Hisao Tanaka. On analytic well-orderings. The journal of symbolic logic, vol. 35 , pp. 198–204.Wayne Richter - 1973 - Journal of Symbolic Logic 38 (1):155.
  22.  34
    M. Tanaka: Plato, Apologia Socratis, editio altera. Pp. xvi + 180. Tokyo: Iwanami Shoten, 1974. Paper, 1,800 yen.E. B. Ceadel - 1977 - The Classical Review 27 (01):125-.
  23.  7
    M. Tanaka: Plato, Apologia Socratis, editio altera. Pp. xvi + 180. Tokyo: Iwanami Shoten, 1974. Paper, 1,800 yen.E. B. Ceadel - 1977 - The Classical Review 27 (1):125-125.
  24.  18
    Filial Piety, Modernization, and the Challenges of Raising Children for Chinese Immigrants: Quantitative and Qualitative Evidence.Eli Lieber, Kazuo Nihira & Iris Tan Mink - 2004 - Ethos: Journal of the Society for Psychological Anthropology 32 (3):324-347.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  25.  11
    Kazuyuki Tanaka. The Galvin–Prikry theorem and set existence axioms. Annals of pure and applied logic, vol. 42 , pp. 81–104. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334.
  26.  11
    Negatively Skewed Locomotor Activity Is Related to Autistic Traits and Behavioral Problems in Typically Developing Children and Those With Autism Spectrum Disorders.Kazuo Ogino, Hidetoshi Takahashi, Toru Nakamura, Jinhyuk Kim, Hiroe Kikuchi, Takayuki Nakahachi, Ken Ebishima, Kazuhiro Yoshiuchi, Tetsuya Ando, Tomiki Sumiyoshi, Andrew Stickley, Yoshiharu Yamamoto & Yoko Kamio - 2018 - Frontiers in Human Neuroscience 12.
  27.  8
    Review: Kazuo Matsumoto, Decision Procedure for Modal Sentential Calculus S3. [REVIEW]Richard Routley - 1975 - Journal of Symbolic Logic 40 (3):468-468.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28. Nambu-Goldstone theorem and spin-statistics theorem.Kazuo Fujikawa - 2016 - In Lars Brink, L. N. Chang, M. Y. Han, K. K. Phua & Yoichiro Nambu (eds.), Memorial volume for Y. Nambu. World Scientific Publishing Co. Pte..
     
    Export citation  
     
    Bookmark  
  29. Negative Mood States Are Related to the Characteristics of Facial Expression Drawing: A Cross-Sectional Study.Chika Nanayama Tanaka, Hayato Higa, Noriko Ogawa, Minenori Ishido, Tomohiro Nakamura & Masato Nishiwaki - 2020 - Frontiers in Psychology 11.
    An assessment of mood or emotion is important in developing mental health measures, and facial expressions are strongly related to mood or emotion. This study thus aimed to examine the relationship between levels of negative mood and characteristics of mouth parts when moods are drawn as facial expressions on a common platform. A cross-sectional study of Japanese college freshmen was conducted, and 1,068 valid responses were analyzed. The questionnaire survey consisted of participants’ characteristics, the Profile of Mood States, and a (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  30.  40
    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   10 citations  
  31. Paraconsistency: Logic and Applications.Francesco Berto, Edwin Mares, Koji Tanaka & Francesco Paoli (eds.) - 2013 - Dordrecht, Netherland: Springer.
    A logic is called 'paraconsistent' if it rejects the rule called 'ex contradictione quodlibet', according to which any conclusion follows from inconsistent premises. While logicians have proposed many technically developed paraconsistent logical systems and contemporary philosophers like Graham Priest have advanced the view that some contradictions can be true, and advocated a paraconsistent logic to deal with them, until recent times these systems have been little understood by philosophers. This book presents a comprehensive overview on paraconsistent logical systems to change (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   11 citations  
  32.  11
    Are birds metacognitive?Kazuo Fujita & Noriyuki Nakamura - 2012 - In Michael Beran, Johannes Brandl, Josef Perner & Joëlle Proust (eds.), The Foundations of Metacognition. Oxford University Press. pp. 50.
  33.  9
    Song-syllable perception in song sparrows and swamp sparrows : An approach from animal psychophysics.Kazuo Okanoya & Robert J. Dooling - 1990 - Bulletin of the Psychonomic Society 28 (3):221-224.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  34. Spatial bargaining in rectilinear facility location problem.Kazuo Yamaguchi - 2021 - Theory and Decision 93 (1):69-104.
    We consider a spatial bargaining model where players collectively choose a facility location on a two-dimensional rectilinear distance space through bargaining using the unanimity rule. We show that as players become infinitely patient, their stationary subgame perfect equilibrium utilities converge to the utilities that satisfy the lexicographic maximin utility criterion introduced by Sen.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Hapinesu o motomete: AI-enjin, men'eki to gan, minkan roketto.Kazuo Yano (ed.) - 2018 - Tōkyō-to Chiyoda-ku: Maruzen Puranetto.
    本書は、生活者のハピネス(豊かさや幸せ)の視点から科学技術や社会の変革を考える『因果関係から相関へ、個別技術からシステムへ』と題した『武田シンポジウム2018』の内容をまとめたものです。昨今最も注目を 浴びている科学技術である「AI」、「免疫システム研究」、「民間宇宙ロケット開発」の3つと異なる切り口から、ビッグデータと言われる時代の科学の方法論、個の集積以上の意味をもつシステムとしてのアプローチに ついて立体的に考察します。.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36. Paraconsistent dynamics.Patrick Girard & Koji Tanaka - 2016 - Synthese 193 (1):1-14.
    It has been an open question whether or not we can define a belief revision operation that is distinct from simple belief expansion using paraconsistent logic. In this paper, we investigate the possibility of meeting the challenge of defining a belief revision operation using the resources made available by the study of dynamic epistemic logic in the presence of paraconsistent logic. We will show that it is possible to define dynamic operations of belief revision in a paraconsistent setting.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   10 citations  
  37. Three Phases of Epistemological Penetration to Nature.Kazuo Kondō - 1997 - Accademia Pontaniana.
    No categories
     
    Export citation  
     
    Bookmark  
  38.  8
    Matsumoto Kazuo. Reduction theorem in Lewis' sentential calculi. Mathematica Japonicae, vol. 3 no. 3 , pp. 133–135.Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (2):200-200.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  39. The Eurasian myth of the birth of cosmic ruler.Kazuo Matsumura - 2002 - Iris 23:137-147.
    No categories
     
    Export citation  
     
    Bookmark  
  40. The rise, fall and transformation of Daimon worship.Kazuo Matsumura - 2003 - Iris 25:91-95.
    No categories
     
    Export citation  
     
    Bookmark  
  41.  7
    Review: Kazuo Matsumoto, Reduction Theorem in Lewis' Sentential Calculi. [REVIEW]Alan Ross Anderson - 1956 - Journal of Symbolic Logic 21 (2):200-200.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  13
    Shôtarô Tanaka. On axioms of ontology. Proceedings of the Japan Academy, vol. 44 , pp. 54–55. - Shôtarô Tanaka. On theorems of ontology. Proceedings of the Japan Academy, vol. 44 , pp. 231–233. [REVIEW]Bogusław Iwanuś - 1972 - Journal of Symbolic Logic 37 (1):192.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  13
    Hisao Tanaka. On limits of sequences of hyperarithmetical functionals and predicates. Commentarii mathematici Universitatis Sancti Pauli, vol. 14 no. 2 , pp. 105–121. - Tosiyuki Tugué and Hisao Tanaka. A note on the effective descriptive set theory. Commentarii mathematici Universitatis Sancti Pauli, vol. 15 no. 1 , pp. 19–28. [REVIEW]Stephen J. Garland - 1974 - Journal of Symbolic Logic 39 (2):344-345.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  14
    Review: E. J. Lemmon, Alternative Postulate Sets for Lewis's S5. [REVIEW]Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (4):380-381.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45.  13
    Maehara Shôji. Eine Darstellung der intuitionistischen Logik in der klassischen. Nagoya mathematical journal, vol. 7 , pp. 45–64. [REVIEW]Kazuo Matsumoto - 1957 - Journal of Symbolic Logic 22 (1):79-80.
  46. Two Kinds of Logical Impossibility.Alexander Sandgren & Koji Tanaka - 2020 - Noûs 54 (4):795-806.
    In this paper, we argue that a distinction ought to be drawn between two ways in which a given world might be logically impossible. First, a world w might be impossible because the laws that hold at w are different from those that hold at some other world (say the actual world). Second, a world w might be impossible because the laws of logic that hold in some world (say the actual world) are violated at w. We develop a novel (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  47. Kyōto no arugorizumu.Kazuo Iwama - 2017 - Tōkyō-to Shinjuku-ku: Kindai Kagakusha.
    京都を知る,アルゴリズムを知る。アルゴリズムとはそもそも,何か物事を行うときの“具体的手順”のことである。私たちは日々,意識するかしないかに関わらず,次々とアルゴリズムの設計をしながら生活をしている。 本書は,岩間一雄教授が京都の町を題材にアルゴリズムの思考を伝える,読み物的手法をとった数学書である。読者はその奥深い世界へと誘われてゆくだろう。 巻末には本書で取り上げた京都関連の名所・行事などの索引があり,逆引きで読んでいくことができる。 【目次】 1.斜め横断 2.アイドルタイム 3.人事部長の悩み 4.チームワーク 5.神様との勝負 6.アルゴリズムからメカニズムへ 7.一番でなくとも 8.千年に1回も起こらない 9.自分のページランクを上げたい 10.対話のアルゴリズム 11.ビットコインの素晴らしさ 12.P対NP問題:ノーベル賞以上? 13.アルゴリズムから見た進化論.
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Nihon no iro no rūtsu o sagashite.Kazuo Jō - 2017 - Tōkyō-to Toshima-ku: Pai Intānashonaru.
    日本古来の神々の色、陰陽五行説の色、武将たちに愛された色、雅な平安の色、粋な大江戸の色彩から、昭和の流行色まで、ビジュアルで辿る日本の色を探る旅。.
    Direct download  
     
    Export citation  
     
    Bookmark  
  49. CABINS: a framework of knowledge acquisition and iterative revision for schedule improvement and reactive repair.Kazuo Miyashita & Katia Sycara - 1995 - Artificial Intelligence 76 (1-2):377-426.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  50. Risan totsu kaiseki to saitekika arugorizumu.Kazuo Murota - 2013 - Tōkyō-to Shinjuku-ku: Asakura Shoten.
    解きやすい離散最適化問題に対して統一的な枠組を与える「離散凸解析」の全体像を平易に解説.
    Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 477