メインナビゲーションにスキップ
検索にスキップ
メインコンテンツにスキップ
早稲田大学 ホーム
English
日本語
ホーム
プロファイル
研究部門
研究成果
専門知識、名前、または所属機関で検索
Scopus著者プロファイル
寺内 多智弘
教授
Professor 教授
,
基幹理工学部
ウェブサイト
https://w-rdb.waseda.jp/html/100001582_ja.html
h-index
1335
被引用数
15
h 指数
Pureの文献数とScopusの被引用数に基づいて算出されます
1999
2023
年別の研究成果
概要
フィンガープリント
ネットワーク
研究成果
(48)
類似のプロファイル
(6)
Pureに変更を加えた場合、すぐここに表示されます。
フィンガープリント
Tachio Terauchiが活動している研究トピックを掘り下げます。このトピックラベルは、この研究者の研究成果に基づきます。これらがまとまってユニークなフィンガープリントを構成します。
並べ替え順
重み付け
アルファベット順
Engineering & Materials Science
Acoustic waves
100%
Chemical analysis
90%
Linear programming
70%
Hardness
68%
Side channel attack
62%
Semantics
61%
Adaptive systems
59%
Polynomials
58%
Linux
56%
Entropy
54%
Static analysis
49%
Channel capacity
48%
Recursive functions
40%
Data storage equipment
33%
Context free languages
32%
Decomposition
31%
Turing machines
30%
Model checking
28%
Repair
26%
Surface mount technology
25%
Augmented reality
22%
Specifications
21%
User interfaces
19%
Casting
18%
Automation
16%
Engines
16%
Experiments
15%
Sampling
15%
Joining
14%
Polymorphism
13%
Temporal logic
12%
Constraint satisfaction problems
11%
Synchronization
11%
Communication
10%
Computer programming languages
9%
Denial-of-service attack
8%
Finite automata
7%
User experience
7%
Testbeds
7%
Interpolation
6%
Display devices
5%
Mathematics
Information Flow
88%
Safety
76%
Refinement
56%
Recursion
42%
Horn clause
40%
Termination
36%
Calculus
35%
Liveness
35%
Determinism
33%
Program Verification
32%
Temporal Reasoning
32%
Leakage
31%
Formal Analysis
29%
Buffer
28%
Abstraction
28%
Type Systems
26%
Confluence
26%
Concurrency
26%
Fixpoint
26%
Counterexample
25%
Timing
25%
Higher Order
24%
Concurrent
24%
Reasoning
23%
Stratification
23%
Constraint Solving
23%
Fractional
23%
Synthesis
22%
Linear programming
22%
Partial
20%
Hardness
19%
Noninterference
19%
Static Analysis
19%
Reachability
19%
Heuristics
18%
Prototype
18%
Language
17%
Logic
17%
Undecidability
16%
Intersection
16%
Cell
16%
Oracle
15%
Reachability Analysis
15%
Ranking Function
15%
Dependent
14%
Casting
14%
Attack
13%
Polynomial time
11%