ウッジャー

3 の例文 (0.01 秒)
  • 特にウッジャーとはその後も親交を深め、後にウッジャーはタルスキの論文集を編集することになる。 ...
  • ウッジャーは記号論理学を生物学へと応用したことで知られているが、1937年に出版された彼の『生物学における公理論的方法』の付録は、タルスキによって執筆された。 ...
  • ウッジャーは、浮動小数点を配列に格納できるようにするために、 「」という方式を考案した。 ...