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

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

記事一覧

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

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

若槻 俊宏

2008年11月26日 20:00

  • 開発言語
  • 技術解説

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

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

若槻 俊宏

2008年11月19日 20:00

  • 開発言語
  • 技術解説

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

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

若槻 俊宏

2008年11月12日 20:00

  • 開発言語
  • 技術解説

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

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

若槻 俊宏

2008年11月5日 20:00

  • 開発言語
  • 技術解説

人気記事トップ10

SIGGRAPH Asia 2025開催。キーノートから低空ドローンの管制システムを解説するキーノートを紹介 「Wine 11.6」リリース─ Androidドライバ再実装やVBScript改善など Roblox CEO、プラットフォーム経済圏の現在地を語る、Autodesk VREDがApple Vision Pro対応 ほか Goバイナリを徹底軽量化! ーバイナリの内訳計測から依存の整理まで VPNソフトウェア「OpenVPN 2.7.1」リリース ─ 2.7系列の初回バグフィックス更新 【生成AIの事例トレンド】「試用」から「本格的な組み込み」のフェーズへ Wayland拡張「Wayland Protocols 1.48」リリース ─ セッション管理プロトコルを追加 Salesforce Developer Advocateの小田祥平さん(おだしょーさん) もっと仕事でCopilotを使いこなせる方法がわかる！『Microsoft 365 Copilot踏み込み活用術』を5名様にプレゼント！ ISC、「BIND 9.20.22/9.18.48」リリース ─ 複数の脆弱性を修正
Salesforce Developer Advocateの小田祥平さん(おだしょーさん) Goバイナリを徹底軽量化! ーバイナリの内訳計測から依存の整理まで 「Rust」の「Bevy」でデスクトップゲーム「Color」を開発してみよう 【生成AIの事例トレンド】「試用」から「本格的な組み込み」のフェーズへ 「Wine 11.6」リリース─ Androidドライバ再実装やVBScript改善など 【アプリケーションエンジニア編】“シンプルなはず”が機能だらけに。炎上を防ぐ鍵は「可視化」 LF ResearchがCanonicalとの共同研究レポート「世界のオープンソースの現状 2025」を公表。コスト削減ツールからミッションクリティカルなインフラへ 【シリコンバレーに「日本のOJT」で挑む】AI GALA と AI Salon が証明した東海AIエコシステムの真髄 Epic Games大規模レイオフを発表、Ubisoft、Red Storm Entertainmentのゲーム開発を終了 ほか 【提言】分断されるAPI、次なる標準化への道標
もっと仕事でCopilotを使いこなせる方法がわかる！『Microsoft 365 Copilot踏み込み活用術』を5名様にプレゼント！ Salesforce Developer Advocateの小田祥平さん(おだしょーさん) Goバイナリを徹底軽量化! ーバイナリの内訳計測から依存の整理まで 【アプリケーションエンジニア編】“シンプルなはず”が機能だらけに。炎上を防ぐ鍵は「可視化」 「Rust」の「Bevy」でデスクトップゲーム「Color」を開発してみよう 【生成AIの事例トレンド】「試用」から「本格的な組み込み」のフェーズへ 「CAPE v2」で実際にマルウェア解析を試してみよう Elastic{ON} Tokyo 2026開催。コンテキストエンジニアリングを訴求するCEOのキーノートセッションを紹介 【提言】分断されるAPI、次なる標準化への道標 「Wine 11.6」リリース─ Androidドライバ再実装やVBScript改善など
人気記事ランキングをもっと見る

新着記事

SIGGRAPH Asia 2025開催。キーノートから低空ドローンの管制システムを解説するキーノートを紹介 4月6日 6:30 Roblox CEO、プラットフォーム経済圏の現在地を語る、Autodesk VREDがApple Vision Pro対応 ほか 4月6日 6:00 Goバイナリを徹底軽量化! ーバイナリの内訳計測から依存の整理まで 4月3日 6:30 【シリコンバレーに「日本のOJT」で挑む】AI GALA と AI Salon が証明した東海AIエコシステムの真髄 4月3日 6:30 【生成AIの事例トレンド】「試用」から「本格的な組み込み」のフェーズへ 4月2日 6:30

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

【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 IoTに生成AIを掛け合わせる「AI-driven IoT」で現場のIoTデータ活用を加速 2025年11月26日 6:30 アイレット、KDDIの属人化問題を生成AIアシスタントの精度を高め解消へ 2025年11月21日 6:30 「Grafana Cloud」の先進的ユーザーであるグリーが10年をかけて到達した「オブザーバービリティ」とは 2025年5月15日 6:30 Grafana Labs CTOのTom Wilkie氏インタビュー。スクラップアンドビルドから産まれた「トラブルシューティングの民主化」とは 2025年4月21日 6:30 API管理をより簡単にする「Kong Konnect」が解決する課題とその主要機能 2025年3月5日 5:30 目指すはプロセス連結によるサイロ化の打破! ガバナンス強化にも寄与する自動化プラットフォームとは 2025年1月15日 6:30