Prolog - Wikipedia
Prolog（プロログ）は論理プログラミング言語の一つであり、該当分野で最もよく知られている論理型言語の代表格である。主に人工知能研究や計算言語学との関連性を持つ。定理証明、エキスパートシステム、自動計画、自然言語処理とも繋がりが深い。形式論理である一階述語論理を基礎にして、事実群と規則群の表現および関係の観点に立った宣言型パラダイムに準拠しており、その関係に則った質問によって計算が開始されるという性質を持つ。 Prologは、1972年にマルセイユ大学のアラン・カルメラウアーとフィリップ・ラッセルによって開発された。フランス語の「programmation en logique」がその名の由来である[1]。Prologの誕生にはエディンバラ大学のロバート・コワルスキが考案したホーン節が大きく寄与している。カルメラウアーによる元祖版はマルセイユPrologと呼ばれている。その後、コワルスキ
GTD:Getting Things Done - Wikipedia
Getting Things Done（ゲッティング・シングス・ダン、「物事をなし遂げる」）、略称 GTD（ジー・ティー・ディー）は、個人用のワークフローの管理手法である。デビッド・アレン（David Allen）が同名の書籍『仕事を成し遂げる技術 ―ストレスなく生産性を発揮する方法』（原題: Getting Things Done、2002年）の中で提唱する。ハッカー文化の一つで[要出典]、LifeHack（ライフハック）の中でも代表的なものである。 「ナレッジワーカー（知識労働者ないし頭脳労働者）の仕事術」と呼ばれ、「次に何をやるか」という予定やスケジュールの管理、作業する上でのモチベーションを損なわないための体制作りなどが含まれる。心理的な負担を減らしながら個人の生産性を上げることを主眼とし、簡単な5つのステップを実行することによって成し遂げたいことを現実にするメソッドである。基本は
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
