id:kiyo_hiko

投稿一覧(最新100件)

[prolog][logic][pdf] 「後ろ向き推論の演繹方法として…節中の最左端負リテラルを選択するSLD演繹を対象とし RBU演算を使ってSLD演繹を実現…前向き推論としては SLD演繹と同様の選択関数を用いるようにした単位演繹であるSUD演繹を提案」
[sea][law] 「中国は自国の持つ大陸棚は、300万km2を超える広さであると主張しているが、実際に管轄権を持つ海域は海洋政策研究財団による推定によると約96万km2である」

1 0 0 0 OA 大東京写真帖

[1930s][tokyo][history]
[idea][gui][dev] かなり昔の。ニューメディアとかの頃の
[pdf][tech] エレクトロクロミックディスプレイ
[航空力学][insect][pdf] 昆虫飛期の物理
[statemachine][code][generator][design][oop] そのうち読む