法典調査会商法中改正法律案議事速記録日本學術振興會, 1939 - 11 ページ |
この書籍内から
検索結果1-3 / 93
v ページ
形式仕様入門・活用の第一歩 石川 冬樹. VDM++ について本書は,形式手法(Formal Methods)のなかでも開発対象システムの機能や構成を数学の道具建てを用いて厳密に記述し,分析や検証を行う VDM (Vienna Development Method)という手法で提供しているVDM++ ...
形式仕様入門・活用の第一歩 石川 冬樹. VDM++ について本書は,形式手法(Formal Methods)のなかでも開発対象システムの機能や構成を数学の道具建てを用いて厳密に記述し,分析や検証を行う VDM (Vienna Development Method)という手法で提供しているVDM++ ...
ページ
... 形式に中味がピックリ喰っついている事を証明するのだから、経験の裏書を得ない形式はいくら頭の中で完備していると認められても不完全な感じを与えるのであります。して見ると、要するに形式は内容のための形式であって、形式のために内容ができるのでは ...
... 形式に中味がピックリ喰っついている事を証明するのだから、経験の裏書を得ない形式はいくら頭の中で完備していると認められても不完全な感じを与えるのであります。して見ると、要するに形式は内容のための形式であって、形式のために内容ができるのでは ...
21 ページ
... 形式上、短歌と長歌の中間形式である。この和讃が宗教的内容から離れて文學的内容に移り、舞踊と共に歌はれると今様となる。短歌でも、東國の作者の歌は、地方の歌として、奈良朝時代にすでに東歌として區別してゐたが、れに、舞踊を伴ふ歌が東舞といは ...
... 形式上、短歌と長歌の中間形式である。この和讃が宗教的内容から離れて文學的内容に移り、舞踊と共に歌はれると今様となる。短歌でも、東國の作者の歌は、地方の歌として、奈良朝時代にすでに東歌として區別してゐたが、れに、舞踊を伴ふ歌が東舞といは ...