ソフトウェア科学特論: Scalaと命題論理

テクノロジーカテゴリーの変更を依頼記事元:

tamura70.gitlab.io

14users がブックマークコメント

コメント

1

記事へのコメント1件

注目コメント
新着コメント

rikiya formal, method, scala

2011/04/27 リンク

注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

規約違反を報告

アプリのスクリーンショット

いまの話題をアプリでチェック！

バナー広告なし
ミュート機能あり
ダークモード搭載

アプリをダウンロード

関連記事

ソフトウェア科学特論: Scalaと命題論理

本稿は，プログラミング言語Scalaを用いて，命題論理を取り扱うプログラムについて説明している．命題... 本稿は，プログラミング言語Scalaを用いて，命題論理を取り扱うプログラムについて説明している．命題論理については命題論理を参照のこと．本Webページ(およびPDF)の作成には Emacs org-mode を用いており，数式等の表示は MathJax を用いています． IEでは正しく表示されないことがあるため， Firefox, Safari等のWebブラウザでJavaScriptを有効にしてお使いください．また org-info.js を利用しており，「m」キーをタイプするとinfoモードでの表示になります．利用できるショートカットは「?」で表示されます．なお，ここに記載しているプログラムは，間違いを含んでいる可能性があります．利用にあたっては十分チェックをしていただくようお願いします．また，わかりやすさを重視し，効率面での配慮はしていないため，実用的な利用に

Scala

ブックマークしたユーザー

mnru2013/03/07
gemini72013/03/05
taki03132012/11/11
pokutuna2011/05/02
totobook2011/04/28
rokujyouhitoma2011/04/28
aereal2011/04/27
nob_kdm2011/04/27
terazzo2011/04/27
rikiya2011/04/27
j5ik2o2011/04/27

同じサイトの新着

同じサイトの新着をもっと読む

いま人気の記事

いま人気の記事をもっと読む

いま人気の記事 - テクノロジー

いま人気の記事 - テクノロジーをもっと読む

新着記事 - テクノロジー

新着記事 - テクノロジーをもっと読む

いま人気の記事 - 企業メディア

企業メディアをもっと読む

設定を変更しましたx