Item Type |
Article |
ID |
|
Preview |
Image |
|
Caption |
|
|
Full text |
AN00150430-00000146-0177.pdf
Type |
:application/pdf |
Download
|
Size |
:362.5 KB
|
Last updated |
:Apr 16, 2021 |
Downloads |
: 491 |
Total downloads since Apr 16, 2021 : 491
|
|
Release Date |
|
Title |
Title |
師資相承
|
Kana |
シシ ソウショウ
|
Romanization |
Shishi sōshō
|
|
Other Title |
Title |
From master to disciple
|
Kana |
|
Romanization |
|
|
Creator |
Name |
長谷部, 浩二
|
Kana |
ハセベ, コウジ
|
Romanization |
Hasebe, Kōji
|
Affiliation |
筑波大学システム情報系
|
Affiliation (Translated) |
|
Role |
|
Link |
|
|
Edition |
|
Place |
|
Publisher |
Name |
三田哲學會
|
Kana |
ミタ テツガクカイ
|
Romanization |
Mita tetsugakukai
|
|
Date |
Issued (from:yyyy) |
2021
|
Issued (to:yyyy) |
|
Created (yyyy-mm-dd) |
|
Updated (yyyy-mm-dd) |
|
Captured (yyyy-mm-dd) |
|
|
Physical description |
|
Source Title |
Name |
哲學
|
Name (Translated) |
Philosophy
|
Volume |
|
Issue |
146
|
Year |
2021
|
Month |
3
|
Start page |
177
|
End page |
191
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII Article ID |
|
Ichushi ID |
|
Other ID |
|
Doctoral dissertation |
Dissertation Number |
|
Date of granted |
|
Degree name |
|
Degree grantor |
|
|
Abstract |
|
Table of contents |
1. 師から弟子へ
2. 岡田先生との出会い
3. 贅沢な個人指導
4. 線形論理による実時間システムの分析手法
5. セキュリティプロトコルの安全性検証法
6. 研究室での思い出
7. おわりに
|
|
Keyword |
|
NDC |
|
Note |
特集 : 岡田光弘教授 退職記念号
依頼論文・エッセイ
|
|
Language |
|
Type of resource |
|
Genre |
|
Text version |
|
Related DOI |
|
Access conditions |
|
Last modified date |
|
Creation date |
|
Registerd by |
|
History |
|
Index |
|
Related to |
|