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

若槻 俊宏 の記事（人気順）

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

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

    若槻 俊宏

    2008年11月19日 20:00

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

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

    若槻 俊宏

    2008年11月12日 20:00

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

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

    若槻 俊宏

    2008年11月26日 20:00

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

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

    若槻 俊宏

    2008年11月5日 20:00

4 記事中 1 ～ 4 を表示

人気記事トップ10

三菱UFJ銀行・三菱UFJインフォメーションテクノロジー・レッドハット・日本IBM、AI駆動型開発による金融システム変革に向けた戦略的パートナーシップを締結 【AIに何を任せ、どこで止めるか】Loop Engineeringから考える仕事の設計 生成AIがコードを書く時代にKubernetesのPodをローカルで実行しつつクラスターをテストできるツールを紹介 「deepin 25.2.0」リリース ─ Debianベースのデスクトップ向けディストリビューション 【クラウドネイティブ会議】外部連携を含む統合テストをどう自動化するか ～ステートフルモックとシナリオ駆動の実践～ Kaggleは「キャリアの選択肢の拡大」に役立つ ーコンペで得た学びが、実務・教育・研究・執筆へと広がるまで 「Linuxサーバー構築標準教科書 Ubuntu版」公開 ─ Ubuntuに対応した標準教科書が登場 データ・人・AIを繋ぐ、アトラシアンの「Teamwork Graph」とは ーAI時代の競争力の鍵はAIモデルではなくコンテキストにあり 「ClamAV 1.5.3／1.4.5」リリース ─ オープンソースのアンチウィルスエンジン オープンソースの電子書籍管理ソフト「Calibre 9.10」リリース ─ Content serverに新インターフェースを追加
Kaggleは「キャリアの選択肢の拡大」に役立つ ーコンペで得た学びが、実務・教育・研究・執筆へと広がるまで 「Linuxサーバー構築標準教科書 Ubuntu版」公開 ─ Ubuntuに対応した標準教科書が登場 データ・人・AIを繋ぐ、アトラシアンの「Teamwork Graph」とは ーAI時代の競争力の鍵はAIモデルではなくコンテキストにあり ソースコード解析ツール「Understand 7.2」日本語版リリース——生成AI連携とMCP機能で開発現場の解析効率を強化 Meta 脳波を文章化するAIを発表、Google 動画生成AIを公開 ほか 「OpenVPN 2.7.5/2.6.21」リリース ─ 複数の脆弱性を修正 インストールメディア作成ツール「Rufus 4.15」リリース ─ XMLパーサの脆弱性を修正 「ClamAV 1.5.3／1.4.5」リリース ─ オープンソースのアンチウィルスエンジン 鉄道の路線と駅のオープンデータをMySQLに登録してみよう 生成AIがコードを書く時代にKubernetesのPodをローカルで実行しつつクラスターをテストできるツールを紹介
Kaggleは「キャリア」に役立つ ー機械屋がデータサイエンティスト、R&Dというキャリアに至った道筋 「Apache 2.4.68」リリース ─ 複数の脆弱性を修正 WSLでUbuntuの最新LTSリリース「Ubuntu 26.04 LTS」を動かしてみよう Canvas・Thinking・Deep Researchなどの最新機能も解説！『できるChatGPT 改訂2版』を5名様にプレゼント！ Kaggleは「キャリアの選択肢の拡大」に役立つ ーコンペで得た学びが、実務・教育・研究・執筆へと広がるまで 「Linuxサーバー構築標準教科書 Ubuntu版」公開 ─ Ubuntuに対応した標準教科書が登場 「エンジニアがこの先生きのこるためのカンファレンス」が2025年に引き続き、2026年も開催！ データサイエンスの聖地「Kaggle」は競技を超えて何をもたらすのか：データサイエンスの実務、キャリア、そして知の集積地としての全貌 GitLab、エージェント型エンジニアリング時代に向けた新機能群を「GitLab Transcend」で発表 「C#」の「Forms」でデスクトップゲーム「Color」を開発してみよう
人気記事ランキングをもっと見る

新着記事

【AIに何を任せ、どこで止めるか】Loop Engineeringから考える仕事の設計 7月9日 6:30 三菱UFJ銀行・三菱UFJインフォメーションテクノロジー・レッドハット・日本IBM、AI駆動型開発による金融システム変革に向けた戦略的パートナーシップを締結 7月9日 6:25 【クラウドネイティブ会議】外部連携を含む統合テストをどう自動化するか ～ステートフルモックとシナリオ駆動の実践～ 7月8日 6:01 生成AIがコードを書く時代にKubernetesのPodをローカルで実行しつつクラスターをテストできるツールを紹介 7月8日 6:00 Elastic、PrometheusネイティブサポートとKubernetesエージェンティック調査機能を発表——メトリックとログを単一プラットフォームで統合 7月7日 6:25

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

機能安全開発における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 API管理をより簡単にする「Kong Konnect」が解決する課題とその主要機能 2025年3月5日 5:30