メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
東北大学 ホーム
ヘルプ＆FAQ
English
日本語
ホーム
プロファイル
研究部門
研究成果
プレス/メディア
専門知識、名前、または所属機関で検索
Scopus著者プロファイル
大森 仁
教授
情報学研究科・人間社会情報科学専攻
h-index
603
被引用数
14
h 指数
Pureの文献数とScopusの被引用数に基づいて算出されます
2010
2025
年別の研究成果
概要
フィンガープリント
ネットワーク
研究成果
(60)
フィンガープリント
Hitoshi Omoriが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
並べ替え順
重み付け
アルファベット順
Mathematics
Axiom System
35%
Base Point
12%
Bases
12%
Calculus
61%
Characteristics
19%
Characteristics
9%
Classical Logic
100%
Complete
56%
Completeness
12%
Concludes
29%
Conditionals
41%
Consequence Relation
9%
Constant
19%
De-Morgans Law
12%
Definability
38%
Desired Result
9%
Edge
19%
Excluded Middle
9%
Formalization
9%
Formalization
9%
Fundamental Result
8%
General Semantics
19%
Incomplete Data
19%
Intuitionism
12%
Intuitionistic Logic
56%
Kripke Semantics
38%
Made Explicit
21%
Main Result
17%
Main Result
12%
Mathematical Discourse
14%
Matrix
9%
Maximality
19%
Mechanical Procedure
8%
Naïve Set Theory
19%
Negation Expansion
19%
Open Problem
32%
Operators
61%
Ordered Pair
29%
Philosophical Implication
9%
Points
29%
Proposition
19%
Related Result
19%
Sentence
6%
Slight Modification
9%
Truth Condition
27%
Truth Table
25%
Truth Value
58%
Unary Connective
6%
Variance
19%
Wide Variety
12%
Computer Science
Axiomatization
46%
Axiomatization
33%
Classical Perspective
9%
Context
19%
Contexts
9%
Database
9%
Deterministic Semantics
41%
Frame Condition
9%
Frame Condition
9%
Incompatibility
9%
Intuitionistic Logic
41%
Intuitionistic Logic
38%
Modal Operator
22%
Natural Deduction
19%
Nonclassical Logic
16%
Normal Modal Logic
6%
Predicate Calculus
9%
Proof System
32%
Propositional Logic
22%
Related Question
19%
Relative Position
9%
Semantics
89%
Semantics
19%
Sequent Calculus
19%
Set Theory
9%
Set Theory
9%
Soundness
42%
Standards
32%
Survey
19%
Tableau Calculus
9%
Truth Condition
19%
Tuple Semantics
19%
Valued Semantics
85%
Arts and Humanities
Absurd
19%
Absurdity
19%
Actuality
9%
Antecedents
9%
Apparatus
9%
Axiomatization
20%
Belnap
19%
Binaries
9%
Challenges
10%
Classical Negation
15%
Connectives
47%
Counter-factual
19%
Counterfactual Conditional
9%
Disjunction
9%
Empirical
19%
Extensional
9%
Formal
9%
Frame-work
14%
Impossible
9%
Incoherence
9%
Inconsistency
9%
Intensional
9%
Many-valued logic
19%
Metaphysical
12%
Modal
20%
Modal Logic
37%
Modality
48%
Negation
85%
Nonsense
9%
Paper
19%
Para-consistent logic
23%
Paraconsistency
24%
Philosophical Problem
9%
Proof
19%
propositional
13%
semanticists
19%
Semantics
28%
Set Theory
9%
System
18%
Tableau
9%
Truth Value
19%
Underdetermination
9%
Variant
26%
