「Linux 7.0.3」ほかリリース ─ 長期未発見のバグ「CopyFail」修正
5月1日 14:39
Microsoftが「MS-DOS 4.0」のソースコードをMITライセンスの下で公開
4月30日 23:43
「Fedora Linux 44」リリース
4月28日 22:48
ネットワーク全体から見る「ネットワーク超入門」
最新記事: 2010年02月25日
Windowsユーザーのための WSL2で始める Linux環境構築術
最新記事: 2026年04月07日
無償で手軽に仮想化環境を実現できるVMware ESXiを使ってみよう
最新記事: 2012年10月24日
MySQLで学ぶGIS入門
最新記事: 2026年05月08日
Association for the Advancement of Artificial Intelligence(AAAI)-26レポート
Gen AI Times
最新記事: 2026年05月07日
SIGGRAPH Asia 2025レポート
月刊Linux Foundationウォッチ
最新記事: 2026年04月30日
AI CRUNCH
最新記事: 2026年04月28日
テスト自動化ガイド 2024
生成AI完全ガイド 2024
IT運用管理ガイド 2023
DevOps完全ガイド 2023
クラウドデータベース完全ガイド 2023
ローコード開発プラットフォームガイド
業界情報やナレッジが詰まったメルマガやソーシャルぜひご覧ください
[運営] 株式会社インプレス
宣言型プログラミングとは 命令型プログラミングと対比されるもう1つの大きな流れとして、ハードウエアとは独立した、数理論理学に根ざした流れが存在します。(純粋な)関数プログラミングや論理プログラミング、制約プログラミングなど、いろいろな理論に根ざしたプログラミングモデルが存在しますが、ここではそれら
若槻 俊宏
2008年11月19日 20:00