GitHub - marianoguerra/hiapl: HTML Is A Programming LanguageYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
ウィトゲンシュタイン『論理哲学論考』とプログラミング言語的世界観
ウィトゲンシュタインの『論理哲学論考』の解説本を読んでいて、 「これはプログラミング言語の世界観だ」 と思ったところがあった。 解説本とは、古田徹也『ウィトゲンシュタイン 論理哲学論考 シリーズ世界の思想 (角川選書)』である。 今回、言及するのは、§2 「事実と事態、事態と物（対象）」の部分である。 結論から先に言うと、 物のなかで可能性が予定されている という世界観だ。 以下、『論理哲学論考』の記載を引用する。[1] 2.012 論理においては何ひとつ偶然ではない。 ある物がある事態のなかに現れることが可能であるなら、その事態の可能性はその物のなかで予定されているのでなければならない。 2.0121 物が事態のなかに現れることが可能であるなら、その可能性は物のなかにすでにあるのでなければならない。 （論理的なことは、単に可能なことにとどまるものではありえない。論理はすべての可能性を扱い
行政文書をマークダウン化しよう！ところでマークダウンって何？｜METI-DX 経済産業省DXオフィス
最初に見つけたのがこのユーザー会さんのページです。こちらにマークダウンとは「文章の書き方」とあります。なるほど簡単。軽量マークアップ言語よりは、かなり柔らかくなりました。ただ、むしろ簡単になりすぎて今度は具体的なイメージが沸かないか？ 次に見つけたのは、こちらのブログです。 ここでは、「手軽にドキュメントを装飾できるフォーマット」とあります。うんうん、なんとなくイメージしている説明に近づいてきました。 そして最後に見つけたのが https://wa3.i-3-i.info/word16753.html 単なる「ファイルの書き方ルールの１つ」ですよと。これですかね。 人間社会に「日本語」「英語」「ドイツ語」などの様々な言語があるように、デジタル世界でも、HTMLとかXMLとかPDFとか、いろいろな言語(ファイルの書き方ルール)がある、そのうちの１つがマークダウンという言語。それ以上でも以下で
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
