日本国憲法を論理プログラミング言語で表記し、Q＆A方式で分かりやすく表示してくれる「論理憲法」を使ってみた - GIGAZINE

2021/01/12 9 users GIGAZINE ウェブアプリ index.html 条文

日本の最高法規である日本国憲法の条文を論理プログラミングを用いて表記し、日本国憲法の内容をQ＆A方式で分かりやすく表示してくれるウェブアプリ「論理憲法」を使ってみました。 論理憲法 http://bitlaw-jp.github.io/logicon-system/index.html 「論理憲法」のトップ画面はこんな感じ。画面中央に質問内容を設定する... 続きを読む

宣言的という言葉について - m2ymの雑記帳

2014/11/20 44 users m2ym snip 雑記帳 言葉 プログラマ同士

プログラマ同士の会話でつい「宣言的」という言葉を使ってしまう。定義が曖昧なのにも関わらず、だ。試みにこの言葉の定義を考察してみようと思う。1 まず、日本語版Wikipediaの定義を確認する。 第1の定義によれば、ある出力を得るにあたってそれを作成する方法ではなく、出力の性質を記述することを「宣言型」と称する。[snip]別の定義では、純粋関数型言語/論理プログラミング言語/制約プログラミング言語... 続きを読む