存在グラフ - Wikipedia
存在グラフ（英: existential graph）は、チャールズ・サンダース・パースが考案した、論理式を視覚的な図として表す記法、またはその図である。パースは1882年に初めて論理グラフについての論文を書き、1914年に死去するまでその手法の研究を続けた。 パースは存在グラフとして3種類の体系を提案した。 「アルファ」 - 命題論理と二値ブール代数に同型的な体系 「ベータ」 - 等号付き一階述語論理に同型的な体系 「ガンマ」 - 正規様相論理に（ほぼ）同型的な体系 アルファはベータやガンマに内包される。ベータはガンマには内包されない。 アルファのグラフ 統語論: 空白のページ 字句はページ上の任意の場所に書ける。 任意のグラフを cut または sep と呼ばれる単純な閉曲線で囲むことがある。cut は空でもよい。cut は入れ子や連結は自由だが、交差はできない。 以上のような整形式[
suz-lab.com - suz lab リソースおよび情報
This webpage was generated by the domain owner using Sedo Domain Parking. Disclaimer: Sedo maintains no relationship with third party advertisers. Reference to any specific service or trade mark is not controlled by Sedo nor does it constitute or imply its association, endorsement or recommendation.
iphoneの図形描画メモ - everdibe
CGContextRef context = UIGraphicsGetCurrentContext(); //線の色を設定（初期化できる） CGContextSetStrokeColorWithColor(context, [UIColor redColor].CGColor); //塗りの色を設定(初期化できる) CGContextSetFillColorWithColor(context, ball.color); //線の太さを設定 CGContextSetLineWidth(context, 1.0); //円の描画 CGContextAddEllipseInRect(context, CGRect); CGContextStrokePath(context); //塗りも描画 CGContextFillPath(context); //円の塗りつぶし CGContextFill
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
