「deepin 25.2.0」リリース ─ Debianベースのデスクトップ向けディストリビューション
7月9日 0:51
「PyTorch 2.13」リリース ─ FlexAttentionのApple Silicon対応など
7月11日 12:42
「Linuxサーバー構築標準教科書 Ubuntu版」公開 ─ Ubuntuに対応した標準教科書が登場
7月3日 22:14
Windowsユーザーのための WSL2で始める Linux環境構築術
最新記事: 2026年05月14日
Kaggleは「○○」に役立つ
最新記事: 2026年07月03日
Gen AI Times
最新記事: 2026年07月09日
AI CRUNCH
最新記事: 2026年07月16日
編集部が読み解く! 3行でわかるテックニュース
ゲーム実装で身に付くプログラミング
最新記事: 2026年07月15日
Kubernetesスペシャリストが注目する関連ツール探求
実践で学ぶDevOpsツールの使いこなし術
最新記事: 2026年07月14日
KubeCon+CloudNativeCon Europe 2026レポート
最新記事: 2026年07月13日
【レガシーモダナイゼーション新潮流】AIが変える モダンアーキテクチャへの移行
テスト自動化ガイド 2024
生成AI完全ガイド 2024
IT運用管理ガイド 2023
DevOps完全ガイド 2023
クラウドデータベース完全ガイド 2023
業界情報やナレッジが詰まったメルマガやソーシャルぜひご覧ください
[運営] 株式会社インプレス
宣言型プログラミングとは 命令型プログラミングと対比されるもう1つの大きな流れとして、ハードウエアとは独立した、数理論理学に根ざした流れが存在します。(純粋な)関数プログラミングや論理プログラミング、制約プログラミングなど、いろいろな理論に根ざしたプログラミングモデルが存在しますが、ここではそれら
若槻 俊宏
2008年11月19日 20:00
基礎理論からわかること いつの間にかねじれてしまった宣言型プログラミングの本質をあらためて考えてみると、本当にやりたかったことは、問題の定義とその解法を分離して、それぞれを独立して理論化していくことだったと考えられます。
2008年11月26日 20:00
命令型プログラミングパラダイムとは 現在主流のプログラミング言語は、本質的にはハードウエアの実行メカニズムに深く根ざして発展してきた言語です。すなわち、固定長メモリセル列の上にデータ構造を構築し、状態を表現します。そして機械語命令列をプロセッサが順番に実行し、状態遷移を行うというチューリングマシン的
2008年11月12日 20:00
プログラミングとは何か プログラミングと聞いて、みなさんはまず何を連想するでしょうか?
2008年11月5日 20:00