「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
命令型プログラミングパラダイムとは 現在主流のプログラミング言語は、本質的にはハードウエアの実行メカニズムに深く根ざして発展してきた言語です。すなわち、固定長メモリセル列の上にデータ構造を構築し、状態を表現します。そして機械語命令列をプロセッサが順番に実行し、状態遷移を行うというチューリングマシン的
2008年11月12日 20:00
基礎理論からわかること いつの間にかねじれてしまった宣言型プログラミングの本質をあらためて考えてみると、本当にやりたかったことは、問題の定義とその解法を分離して、それぞれを独立して理論化していくことだったと考えられます。
2008年11月26日 20:00
プログラミングとは何か プログラミングと聞いて、みなさんはまず何を連想するでしょうか?
2008年11月5日 20:00