Results for 'Mitsuhiro Yanagida'

93 found
Order:
  1.  11
    Frontier questions about sister chromatid separation in anaphase.Mitsuhiro Yanagida - 1995 - Bioessays 17 (6):519-526.
    Sister chromatid separation in anaphase is an important event in the cell's transmission of genetic information to a descendent. It has been investigated from different aspects: cell cycle regulation, spindle and chromosome dynamics within the three‐dimensional cell architecture, transmission fidelity control and cellular signaling. Integrated studies directed toward unified understanding are possible using multidisciplinary methods with model organisms. Ubiquitin‐dependent proteolysis, protein dephosphorylation, an unknown function by the TPR repeat proteins, chromosome transport by microtubule‐based motors and DNA topological change by DNA (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  2.  9
    A telomerase mutant defective in sister chromatid separation at mitosis.Yukinobu Nakaseko & Mitsuhiro Yanagida - 1997 - Bioessays 19 (7):557-559.
    The telomere is a functional domain of the chromosome, located at the extreme ends, and is essential for normal chromosome stability. Chromosomes lacking telomeres are inherited improperly, and mutations in the telomeric repeat sequences are thought to lead to senescence and possibly to cancer. The molecular mechanisms maintaining chromosomes by telomeres, however, have been unclear. Results recently reported by Kirk et al.(1) offer an insight into new telomerase function. They have identified a novel telomerase mutation that blocks sister chromatid separation (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  3.  5
    Media ekusutashī: jōhō seitaikei to bigaku.Mitsuhiro Takemura - 1992 - Tōkyō: Seidosha.
    Direct download  
     
    Export citation  
     
    Bookmark  
  4. Rasuki to sono nakama: "akai 30-nendai" no chishikijin.Mitsuhiro Mizutani - 1994 - Tōkyō: Chūō Kōronsha.
     
    Export citation  
     
    Bookmark  
  5.  28
    Language, ethnicity, and the nation-state: on Max Weber’s conception of “imagined linguistic community”.Mitsuhiro Tada - 2018 - Theory and Society 47 (4):437-466.
    Methodological nationalism in sociological theory is unfit for the current globalized era, and should be discarded. In light of this contention, the present article discusses Max Weber’s view of language as a way to relativize the frame of the national society. While a “linguistic turn” in sociology since the 1960s has assumed that the sharing of language—linguistic community—stands as an intersubjective foundation for understanding of meaning, Weber saw linguistic community as constructed. From Weber’s rationalist, subjectivist, individualist viewpoint, linguistic community was (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  6.  86
    The finite model property for various fragments of intuitionistic linear logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
    Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic (MALL) and for affine logic (LLW), i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL (which we call IMALL), and intuitionistic LLW (which we call ILLW). In addition, we shall show the finite model property for contractive linear logic (LLC), i.e., linear logic with contraction, and for its intuitionistic version (ILLC). (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   24 citations  
  7.  74
    Syntactic reduction in Husserl’s early phenomenology of arithmetic.Mirja Hartimo & Mitsuhiro Okada - 2016 - Synthese 193 (3):937-969.
    The paper traces the development and the role of syntactic reduction in Edmund Husserl’s early writings on mathematics and logic, especially on arithmetic. The notion has its origin in Hermann Hankel’s principle of permanence that Husserl set out to clarify. In Husserl’s early texts the emphasis of the reductions was meant to guarantee the consistency of the extended algorithm. Around the turn of the century Husserl uses the same idea in his conception of definiteness of what he calls “mathematical manifolds.” (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  8. The Finite Model Property for Various Fragments of Intuitionistic Linear Logic.Mitsuhiro Okada & Kazushige Terui - 1999 - Journal of Symbolic Logic 64 (2):790-802.
    Recently Lafont [6] showed the finite model property for the multiplicative additive fragment of linear logic and for affine logic, i.e., linear logic with weakening. In this paper, we shall prove the finite model property for intuitionistic versions of those, i.e. intuitionistic MALL, and intuitionistic LLW. In addition, we shall show the finite model property for contractive linear logic, i.e., linear logic with contraction, and for its intuitionistic version. The finite model property for related substructural logics also follow by our (...)
     
    Export citation  
     
    Bookmark   11 citations  
  9.  30
    Intentionality of Communication.Mitsuhiro Tada - 2010 - Schutzian Research 2:181-200.
    The aim of this article is to explore how a self-referential social system, although it is not a human being, can be said to “observe.” For this purpose, the article reformulates Niklas Luhmann’s theory of social systems as sociological phenomenology, or the de-consciousness philosophized phenomenology, because a social system has the same structure of intentionality as consciousness: Just as consciousness is always consciousness of something, communication is always communication of something. In correlation to this communicative intentionality, communicated environments come and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  10.  20
    Intentionality of Communication: Theory of Self-referential Social Systems as Sociological Phenomenology.Mitsuhiro Tada - 2010 - Schutzian Research. A Yearbook of Worldly Phenomenology and Qualitative Social Science 2:183-202.
    The aim of this article is to explore how a self-referential social system, although it is not a human being, can be said to “observe.” For this purpose, the article reformulates Niklas Luhmann’s theory of social systems as sociological phenomenology, or the de-consciousness philosophized phenomenology, because a social system has the same structure of intentionality as consciousness: Just as consciousness is always consciousness of something, communication is always communication of something. In correlation to this communicative intentionality, communicated environments come and (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11.  8
    Intentionality of Communication.Mitsuhiro Tada - 2010 - Schutzian Research 2:181-200.
    The aim of this article is to explore how a self-referential social system, although it is not a human being, can be said to “observe.” For this purpose, the article reformulates Niklas Luhmann’s theory of social systems as sociological phenomenology, or the de-consciousness philosophized phenomenology, because a social system has the same structure of intentionality as consciousness: Just as consciousness is always consciousness of something, communication is always communication of something. In correlation to this communicative intentionality, communicated environments come and (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  12.  13
    Sensation Seeking’s Differential Role in Face-to-Face and Cyberbullying: Taking Perceived Contextual Properties Into Account.Daniel Graf, Takuya Yanagida & Christiane Spiel - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  13.  4
    Correction to: Language, ethnicity, and the nation-state: on Max Weber’s conception of “imagined linguistic community”.Mitsuhiro Tada - forthcoming - Theory and Society:1-1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14.  5
    特集テーマ「タイプ理論」について.Mitsuhiro Okada - 2021 - Kagaku Tetsugaku 53 (2):1.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  15.  9
    Correction to: Language and imagined Gesellschaft: Émile Durkheim’s civil-linguistic nationalism and the consequences of universal human ideals.Mitsuhiro Tada - 2020 - Theory and Society 49 (4):631-631.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  16.  8
    Correction to: Language and imagined Gesellschaft: Émile Durkheim’s civil-linguistic nationalism and the consequences of universal human ideals.Mitsuhiro Tada - forthcoming - Theory and Society.
    A Correction to this paper has been published: 10.1007/s11186-021-09436-2.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  17.  12
    Language and imagined Gesellschaft: Émile Durkheim’s civil-linguistic nationalism and the consequences of universal human ideals.Mitsuhiro Tada - 2020 - Theory and Society 49 (4):597-630.
    When Thomas Luckmann, a pioneer of the “linguistic turn” in sociology, regarded Émile Durkheim as a source for the sociology of language, he had lifeworldly community–building in mind. However, the French sociologist himself understood language in the context ofcivil society–building. To Durkheim, language was a “social thing in the highest degree” that enabled general ideas and intermediated them to people. Abstract human ideals like the civil religion since the French Revolution could be shared through (a common) language. Thus, Durkheim took (...)
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  18.  18
    Impostors Dare to Compare: Associations Between the Impostor Phenomenon, Gender Typing, and Social Comparison Orientation in University Students.Flora Fassl, Takuya Yanagida & Marlene Kollmayer - 2020 - Frontiers in Psychology 11.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  19.  12
    Classroom Size and the Prevalence of Bullying and Victimization: Testing Three Explanations for the Negative Association.Claire F. Garandeau, Takuya Yanagida, Marjolijn M. Vermande, Dagmar Strohmeier & Christina Salmivalli - 2019 - Frontiers in Psychology 10.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  20. Remarks on logic for process descriptions in ontological reasoning: A Drug Interaction Ontology case study.Mitsuhiro Okada, Barry Smith & Yutaro Sugimoto - 2008 - In InterOntology. Proceedings of the First Interdisciplinary Ontology Meeting, Tokyo, Japan, 26-27 February 2008. Tokyo: Keio University Press. pp. 127-138.
    We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO one (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  21.  17
    Some Remarks on a Difference between Gentzen's Finitist and Heyting's Intuitionist Approaches toward Intuitionistic Logic and Arithmetic.Mitsuhiro Okada - 2008 - Annals of the Japan Association for Philosophy of Science 16 (1-2):1-17.
  22.  50
    A weak intuitionistic propositional logic with purely constructive implication.Mitsuhiro Okada - 1987 - Studia Logica 46 (4):371 - 382.
    We introduce subsystems WLJ and SI of the intuitionistic propositional logic LJ, by weakening the intuitionistic implication. These systems are justifiable by purely constructive semantics. Then the intuitionistic implication with full strength is definable in the second order versions of these systems. We give a relationship between SI and a weak modal system WM. In Appendix the Kripke-type model theory for WM is given.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  23. A simple relationship between Buchholz's new system of ordinal notations and Takeuti's system of ordinal diagrams.Mitsuhiro Okada - 1987 - Journal of Symbolic Logic 52 (3):577-581.
  24.  92
    A Diagrammatic Inference System with Euler Circles.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Journal of Logic, Language and Information 21 (3):365-391.
    Proof-theory has traditionally been developed based on linguistic (symbolic) representations of logical proofs. Recently, however, logical reasoning based on diagrammatic or graphical representations has been investigated by logicians. Euler diagrams were introduced in the eighteenth century. But it is quite recent (more precisely, in the 1990s) that logicians started to study them from a formal logical viewpoint. We propose a novel approach to the formalization of Euler diagrammatic reasoning, in which diagrams are defined not in terms of regions as in (...)
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  25.  30
    Linear Logic and Intuitionistic Logic.Mitsuhiro Okada - 2004 - Revue Internationale de Philosophie 4:449-481.
  26.  37
    On a theory of weak implications.Mitsuhiro Okada - 1988 - Journal of Symbolic Logic 53 (1):200-211.
  27.  34
    Weak Logical Constants and Second Order Definability of the Full-Strength Logical Constants.Mitsuhiro Okada - 1989 - Annals of the Japan Association for Philosophy of Science 7 (4):163-172.
  28.  7
    帰納型消去規則としてのウィトゲンシュタインの一意性規則.Mitsuhiro Okada - 2021 - Kagaku Tetsugaku 53 (2):95-114.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. Gendai tetsugaku jiten.Takashi Ide & Kenjūrō Yanagida (eds.) - 1951
     
    Export citation  
     
    Bookmark  
  30. Jinseiron jūnikō.Takashi Ide & Kenjūrō Yanagida (eds.) - 1950
    No categories
     
    Export citation  
     
    Bookmark  
  31.  6
    Kyōiku no honshitsu o motomete.Yoshihiro Nakai, Mitsuhiro Umemura & Akira Takeuchi (eds.) - 1990 - Tōkyō: Fukumura Shuppan.
  32. Wittgenstein, Goodstein and the origin of the uniqueness rule for primitive recursive arithmetic.Mathieu Marion & Mitsuhiro Okada - 2018 - In David G. Stern (ed.), Wittgenstein in the 1930s: Between the Tractatus and the Investigations. Cambridge University Press.
     
    Export citation  
     
    Bookmark   3 citations  
  33.  59
    A direct independence proof of Buchholz's Hydra Game on finite labeled trees.Masahiro Hamano & Mitsuhiro Okada - 1998 - Archive for Mathematical Logic 37 (2):67-89.
    We shall give a direct proof of the independence result of a Buchholz style-Hydra Game on labeled finite trees. We shall show that Takeuti-Arai's cut-elimination procedure of $(\Pi^{1}_{1}-CA) + BI$ and of the iterated inductive definition systems can be directly expressed by the reduction rules of Buchholz's Hydra Game. As a direct corollary the independence result of the Hydra Game follows.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  34.  25
    A Relationship Among Gentzen's Proof‐Reduction, Kirby‐Paris' Hydra Game and Buchholz's Hydra Game.Masahiro Hamano & Mitsuhiro Okada - 1997 - Mathematical Logic Quarterly 43 (1):103-120.
    We first note that Gentzen's proof-reduction for his consistency proof of PA can be directly interpreted as moves of Kirby-Paris' Hydra Game, which implies a direct independence proof of the game . Buchholz's Hydra Game for labeled hydras is known to be much stronger than PA. However, we show that the one-dimensional version of Buchholz's Game can be exactly identified to Kirby-Paris' Game , by a simple and natural interpretation . Jervell proposed another type of a combinatorial game, by abstracting (...)
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  35.  60
    A Generalized Syllogistic Inference System based on Inclusion and Exclusion Relations.Koji Mineshima, Mitsuhiro Okada & Ryo Takemura - 2012 - Studia Logica 100 (4):753-785.
    We introduce a simple inference system based on two primitive relations between terms, namely, inclusion and exclusion relations. We present a normalization theorem, and then provide a characterization of the structure of normal proofs. Based on this, inferences in a syllogistic fragment of natural language are reconstructed within our system. We also show that our system can be embedded into a fragment of propositional minimal logic.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  36.  17
    A Direct Independence Proof of Buchholz's Hydra Game on Finite Labeled Trees.Masahiro Hamano & Mitsuhiro Okada - 2001 - Bulletin of Symbolic Logic 7 (4):534-535.
    Direct download  
     
    Export citation  
     
    Bookmark  
  37.  54
    Wittgenstein et le lien entre la signification d’un énoncé mathématique et sa preuve.Mathieu Marion & Mitsuhiro Okada - 2012 - Philosophiques 39 (1):101-124.
    The thesis according to which the meaning of a mathematical sentence is given by its proof was held by both Wittgenstein and the intuitionists, following Heyting and Dummett. In this paper, we clarify the meaning of this thesis for Wittgenstein, showing how his position differs from that of the intuitionists. We show how the thesis originates in his thoughts, from the middle period, about proofs by induction, and we sketch his answers to a number of objections, including the idea that, (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  38. Benshōhō jikkō.Kenjūrō Yanagida - 1950
    No categories
     
    Export citation  
     
    Bookmark  
  39. Benshōhō nyūmon.Kenjūrō Yanagida - 1970
    No categories
     
    Export citation  
     
    Bookmark  
  40. Benshōhōteki sekai no rinri.Kenjūrō Yanagida - 1950
    No categories
     
    Export citation  
     
    Bookmark  
  41. Benshōhōteki sekai.Kenjūrō Yanagida - 1980
     
    Export citation  
     
    Bookmark  
  42. Ėvoli︠u︡t︠s︡ii︠a︡ moego mirovozzrenii︠a︡.Kenjūrō Yanagida - 1957
     
    Export citation  
     
    Bookmark  
  43.  3
    Filosofii︠a︡ istorii.Kenjûrô Yanagida - 1969
    Direct download  
     
    Export citation  
     
    Bookmark  
  44. Gendai jissen tetsugaku.Kenjūrō Yanagida - 1952
     
    Export citation  
     
    Bookmark  
  45. Gendai ni ikiru.Kenjūrō Yanagida - 1970
    No categories
     
    Export citation  
     
    Bookmark  
  46. Gendai no rinri.Kenjūrō Yanagida - 1964
    No categories
     
    Export citation  
     
    Bookmark  
  47. Ichi to ta.Kenjūrō Yanagida - 1947 - Tōkyō: Daitō Shuppansha.
     
    Export citation  
     
    Bookmark  
  48. Jinminshugi no seishin.Kenjūrō Yanagida - 1949
    No categories
     
    Export citation  
     
    Bookmark  
  49. Jinsei no tetsugaku.Kenjūrō Yanagida - 1974
     
    Export citation  
     
    Bookmark  
  50. Jissen tetsugaku to shite no Nishida tetsugaku.Kenjūrō Yanagida - 1939
     
    Export citation  
     
    Bookmark  
1 — 50 / 93