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