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

なぜプログラムを書くのか？ 人気記事ランキング

  1. なぜプログラムを書くのか？第3回 宣言型プログラミングの可能性と限界

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

    若槻 俊宏

    2008年11月19日 20:00

    • 開発言語
    • 技術解説

  2. なぜプログラムを書くのか？第2回 命令型プログラミングはどこに行くのか

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

    若槻 俊宏

    2008年11月12日 20:00

    • 開発言語
    • 技術解説

  3. なぜプログラムを書くのか？第4回 等価変換型プログラムをかじる

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

    若槻 俊宏

    2008年11月26日 20:00

    • 開発言語
    • 技術解説

  4. なぜプログラムを書くのか？第1回 プログラミングの常識を疑え！

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

    若槻 俊宏

    2008年11月5日 20:00

    • 開発言語
    • 技術解説

人気記事トップ10

数式なしでスラスラ読める機械学習の入門書！『じわじわわかる機械学習 データ分析・AIアルゴリズムのなかみ』を5名様にプレゼント！ 「GIMP 3.2.6」リリース ─ macOSパッケージを刷新 「Debian GNU/Linux 13.7」リリース ─ 92件のセキュリティアドバイザリを反映 AIの書いた非同期処理は、なぜ実機で遅いのか 「Karpenter」でKubernetesのノード運用を自動化してみよう 「Kro」深掘り：定義の実体をCRDにするという選択 「MySQL」と「PostgreSQL」の安定運用に必要な「監視」の基本を理解する 「競合するAWSとGoogle Cloudが同じ接続仕様に乗った」――エクイニクスの「Fabric One」が示すマルチクラウド接続の現在地 Robloxが2025年の経済波及効果レポートを発表、HTCのAIスマートグラス新デザインを追加 ほか 「Postfix 3.11.7」リリース、旧系列も同時に更新
数式なしでスラスラ読める機械学習の入門書！『じわじわわかる機械学習 データ分析・AIアルゴリズムのなかみ』を5名様にプレゼント！ AIの書いた非同期処理は、なぜ実機で遅いのか 「Protocol Buffers」からGoコードを自動生成 ー独自protocプラグイン開発と「1次ソース」の設計思想 Kaggleは「今いる場所で成長する」のに役立つ ー社内コンペ・育成制度・会場提供、DSが組織を動かすまで 「FAPI 2.0」に準拠した、よりセキュアな認可フローを「Keycloak」で実装しよう 検出された脆弱性のどれが本当に危ないのか──AIが自律的に攻撃を試し、悪用可能性まで検証する「Ostorlab」が国内提供開始 「イチゴと会話しろ」と言われたIT起業家が見つけた、農業の構造的課題 「MySQL」と「PostgreSQL」の安定運用に必要な「監視」の基本を理解する 「競合するAWSとGoogle Cloudが同じ接続仕様に乗った」――エクイニクスの「Fabric One」が示すマルチクラウド接続の現在地 「Kro」深掘り：定義の実体をCRDにするという選択
「Armbian 26.8」リリース ─ Linux 7.1と全面刷新したインストーラを採用 「Ubuntu 26.04.1 LTS」リリース ─ 8月25日までのアップデートを反映 数式なしでスラスラ読める機械学習の入門書！『じわじわわかる機械学習 データ分析・AIアルゴリズムのなかみ』を5名様にプレゼント！ 「GNU Linux-libre 7.2」リリース ─ AMD、Qualcomm、Intel関連ドライバのdeblob処理を更新 Kaggleは「今いる場所で成長する」のに役立つ ー社内コンペ・育成制度・会場提供、DSが組織を動かすまで 「ReactOS 0.4.16」リリース ─ GUIインストーラーと統合イメージを導入 「Proxmox VE」をインストールして仮想化基盤を立ち上げよう 「GNU Emacs 31.1」リリース ─ Tree-sitter文法の自動インストールに対応 【AIエージェント時代の新資格】AIエージェント・ストラテジストから見える「これから求められる人材」 Kaggleは「次の一歩へ踏み出す」のに役に立つ ー組み込み→画像AI→医療AI、3段階の越境が教えてくれたこと
人気記事ランキングをもっと見る

新着記事

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

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 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