気に入った記事をブックマーク
- 気に入った記事を保存できます
保存した記事の一覧は、はてなブックマークで確認・編集ができます
- 記事を読んだ感想やメモを書き残せます
- 非公開でブックマークすることもできます
staff.aist.go.jpエントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
記事へのコメント1件
- 注目コメント
- 新着コメント
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
いまの話題をアプリでチェック！
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
矢田部俊介
学位 東北大学大学院理学研究科数学専攻にて修士（理学）取得 神戸大学大学院自然科学研究科情報メディ... 学位 東北大学大学院理学研究科数学専攻にて修士（理学）取得 神戸大学大学院自然科学研究科情報メディア科学専攻にて博士(理学)取得 職歴 神戸大学工学部情報知能工学科教務補佐員 神戸大学工学部情報知能工学科教務職員 神戸大学大学院工学研究科助手 産業技術総合研究所特別研究員 委員 経済産業省・地域イノベーション創出研究開発事業「仕様書の統一様式の策定と仕様整合性検証システムの研究開発」研究推進会議 委員（2008年7月～） 論文（査読あり）: 非古典論理上の包括原理を持つ集合論 フルペーパー論文 A note on Hajek, Paris and Shepherdson's theorem (Abstract) (pdf) (pdf on this site) 矢田部俊介. Logic Journal of IGPL, pp.261-266, vol.13(2), March 2005
ブックマークしたユーザー
すべてのユーザーの
詳細を表示します
詳細を表示します
staff.aist.go.jp
staff.aist.go.jp
staff.aist.go.jp
staff.aist.go.jp
anond.hatelabo.jp
qiita.com/KNR109
anond.hatelabo.jp
anond.hatelabo.jp
togetter.com
anond.hatelabo.jp
www.miyamanavi.net
forbesjapan.com
gigazine.net
nordot.app
www.apple.com
2010/11/23 リンク