Logical snippets - Logic Matters
For a number of years now, I’ve been a sporadic visitor to the very useful question-and-answer site, math.stackexchange.com — this is a student-orientated forum, not to be confused with the truly wonderful mathoverflow.net which is its research-level counterpart. OK, you can think of these visits as (hopefully) constructive procrastination on my part … Of course, many of the questions on the site
形式手法勉強会第3回 device tokenの仕様について
形式手法勉強会で使った資料です。 alloyというツールを使っています。 alloy自体の紹介は別の資料で説明しており、 この資料では以下の語を説明無しに使っています ・ドット（結合） ・矢印（積） ・その他各種シグネチャ ・alloyの特徴（全ては関係、全ては論理式、非手続き型言語であることなど） このあたりの理解は原典にあたるのが一番手っ取り早いです http://alloy.mit.edu/alloy/Read less
Tutorial of Oz
このチュートリアルは、プログラミング言語 Oz とMozart プログラミングシステムへの導入のためのものです。Oz は、先進、並行(concurrent)、ネットワーク、ソフトリアルタイム(soft real-time)、そしてリアクティブアプリケーション(reactive application)のためにデザインされたマルチパラダイム言語(multi-paradigm language)です。Oz はオブジェクト指向プログラミング(object-oriented programming)の顕著な特徴である、状態(state)、抽象データ型(abstract data type)、オブジェクト(object)、クラス(class)、そして継承(inheritance)を提供します。また関数型プログラミング(functional programming)の顕著な特徴である、合成構文(com
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
