インプレス ビジネスメディア

なぜプログラムを書くのか？

記事一覧

等価変換型プログラムをかじる

基礎理論からわかること　いつの間にかねじれてしまった宣言型プログラミングの本質をあらためて考えてみると、本当にやりたかったことは、問題の定義とその解法を分離して、それぞれを独立して理論化していくことだったと考えられます。

若槻 俊宏

2008年11月26日 20:00

  • 開発言語
  • 技術解説

宣言型プログラミングの可能性と限界

宣言型プログラミングとは　命令型プログラミングと対比されるもう1つの大きな流れとして、ハードウエアとは独立した、数理論理学に根ざした流れが存在します。（純粋な）関数プログラミングや論理プログラミング、制約プログラミングなど、いろいろな理論に根ざしたプログラミングモデルが存在しますが、ここではそれら

若槻 俊宏

2008年11月19日 20:00

  • 開発言語
  • 技術解説

命令型プログラミングはどこに行くのか

命令型プログラミングパラダイムとは　現在主流のプログラミング言語は、本質的にはハードウエアの実行メカニズムに深く根ざして発展してきた言語です。すなわち、固定長メモリセル列の上にデータ構造を構築し、状態を表現します。そして機械語命令列をプロセッサが順番に実行し、状態遷移を行うというチューリングマシン的

若槻 俊宏

2008年11月12日 20:00

  • 開発言語
  • 技術解説

プログラミングの常識を疑え！

プログラミングとは何か　プログラミングと聞いて、みなさんはまず何を連想するでしょうか？

若槻 俊宏

2008年11月5日 20:00

  • 開発言語
  • 技術解説

人気記事トップ10

ClickHouse Cloudが実現した広告運用SaaS「ATOM」のデータ基盤革新、パフォーマンスを向上しながら、運用負荷とコストを削減 AIは「間引きましょう」と言った。私は「全部出す」と断った。 「手でコードを書く最後の世代」に何が求められるのか――日本CTO協会 今村 雅幸代表理事に聞く、AI時代のCTOの役割とエンジニアのキャリア AIで開発が加速する時代、品質保証はどう変わる? Tricentisが示すAIエージェント活用の実像 Linuxカーネルに重要な脆弱性「CVE-2026-98432」─ IPv4経由で遠隔DoSのおそれ Open Source Summit KoreaからAIの光と影を丁寧に解説するJim Zemlin氏のキーノートを紹介（前編） 「Apache HTTP Server 2.4.70」リリース ─ Windowsでのクラッシュなどを修正 Kaggleは「仏教理解」に役立つ ー「Word2Vec」で読み解く、龍樹の「空」の概念 「OpenTelemetry」と「Grafana」でプロダクトチームが自分のサービスを監視できる基盤を作ろう 【KubeCon Japan 2026】スバルとヒュンダイがキーノートに登壇、ユースケースを語る
Linuxカーネルに重要な脆弱性「CVE-2026-98432」─ IPv4経由で遠隔DoSのおそれ Kaggleは「仏教理解」に役立つ ー「Word2Vec」で読み解く、龍樹の「空」の概念 AIで開発が加速する時代、品質保証はどう変わる? Tricentisが示すAIエージェント活用の実像 「手でコードを書く最後の世代」に何が求められるのか――日本CTO協会 今村 雅幸代表理事に聞く、AI時代のCTOの役割とエンジニアのキャリア 「OpenTelemetry」と「Grafana」でプロダクトチームが自分のサービスを監視できる基盤を作ろう 「Fedora Linux 45」リリース ─ 標準コンソールをkmsconへ移行 DevOpsの「Ops」にAIをどのように組み込んでいくのか 復旧時間を83%短縮、ただし重要な対処は人が承認――NTTデータ先端技術がHinemosで障害対応の自律化を検証 悪用までの猶予が「1分」に迫るフロンティアAI時代に開発と本番を貫く脆弱性管理が必要 「Apache HTTP Server 2.4.70」リリース ─ Windowsでのクラッシュなどを修正
Linuxカーネルに重要な脆弱性「CVE-2026-98432」─ IPv4経由で遠隔DoSのおそれ 「Python 3.15.2/3.14.10/3.13.18/3.12.16/3.11.18」リリース ─ 侵害されたeMudhraのCA鍵をブロック エンジニアが「本当に役に立った」技術書を紹介【Linux編】 悪用までの猶予が「1分」に迫るフロンティアAI時代に開発と本番を貫く脆弱性管理が必要 「Apache HTTP Server 2.4.69」リリース ─ 20件の脆弱性を修正 Kaggleは「データ人材を育てる」のに役立つ ーメダルがなくても始められる、仲間づくりと組織への還元 「PHP 8.5.12」など4系列を緊急リリース ─ CriticalのRCE脆弱性2件を修正 インフラの全体像が、この1冊でわかる！『AI・クラウド時代のITインフラ入門』を5名様にプレゼント！ 「Ubuntu 26.10」リリース ─ Rust製coreutilsへ全面移行 「Linuxネットワーク標準教科書」について
人気記事ランキングをもっと見る

新着記事

企画広告も役立つ情報バッチリ！ Sponsored

ClickHouse Cloudが実現した広告運用SaaS「ATOM」のデータ基盤革新、パフォーマンスを向上しながら、運用負荷とコストを削減 11月11日 6:20 AIで開発が加速する時代、品質保証はどう変わる? Tricentisが示すAIエージェント活用の実像 11月9日 6:45 悪用までの猶予が「1分」に迫るフロンティアAI時代に開発と本番を貫く脆弱性管理が必要 10月29日 8:30 欧州CRA対応とSBOM運用。AI生成コードのOSS混入問題の対策とは ――スニペット単位で検出する「FossID」「Insignary Clarity」によるSBOM運用 9月16日 6:40 PostgreSQLからTiDBへ、稼働中SaaSで進める段階的DB移行の実践と再設計への展望 9月7日 6:30 機能安全開発におけるGoogleTestの活用を支援!「Parasoft C/C++test CT」で実現する効率化＆AI連携 4月14日 6:30 【CNDW2025】Grafanaが明かす「オブザーバビリティの哲学」ー最小限の労力で実用的なインサイトを得るには 1月23日 6:30 【CNDW2025】プロダクト急増に備える基盤刷新 ーウェルスナビがECSからEKSへの移行で得た知見とは 1月15日 6:30 【CNDW2025】250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方 2025年12月18日 6:30 新たな自動化で熱視線！ AIエージェントの「推論能力」を支える2つのコンポーネントとは？ 2025年11月28日 6:30