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

用語「基礎理論」 が使われている記事の一覧

全 4 記事中 1 ～ 4 を表示中

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

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

若槻 俊宏

2008年11月19日 20:00

  • 開発言語
  • 技術解説

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

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

若槻 俊宏

2008年11月12日 20:00

  • 開発言語
  • 技術解説

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

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

若槻 俊宏

2008年11月26日 20:00

  • 開発言語
  • 技術解説

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

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

若槻 俊宏

2008年11月5日 20:00

  • 開発言語
  • 技術解説

人気記事トップ10

その「ソーシャルログイン」は大丈夫? OAuth/OIDC実装の3つの落とし穴 障害発生時でも継続運用を実現する「MySQL」と「PostgreSQL」の「高可用性構成」を理解する 「DrupalCamp Tokyo 2026」参加レポート ーAI時代に進化するCMS「Drupal」は次のフェーズへ！ KVMベースの国産仮想化基盤「Prossione Virtualization」——ライセンス高騰と属人化運用、2つの課題を同時に解決 Kaggleは「キャリアの再定義」に役立つ ー文系営業がKaggler会で得た、挑戦の連鎖と新しい自分 KubeCon Europe 2026、新興のオブザーバビリティ企業Hygroundの製品責任者にインタビュー。生成AIの使用を前提にした新世代オブザーバビリティとは Apple Vision Pro用モーションコントローラーの技術仕様公開、Blender 5.2 LTS公開 ほか 焦りは禁物？「特化」の前に「汎用」を。エクサウィザーズが語る東海製造業における生成AI成功の秘訣 NVIDIA、フィジカルAI向けワールドモデルを一般公開、Unity、次世代プラットフォーム「Unity 7」を発表 ほか 「Visual Studio Code 1.130」リリース ─ AIエージェントを専用プロセスで実行
Kaggleは「キャリアの再定義」に役立つ ー文系営業がKaggler会で得た、挑戦の連鎖と新しい自分 「DrupalCamp Tokyo 2026」参加レポート ーAI時代に進化するCMS「Drupal」は次のフェーズへ！ 「BIND 9.20.26」リリース ─ キャッシュポイズニングなど9件の脆弱性を修正 Box AIエージェントセキュリティ——企業コンテンツへの野放しアクセスにガバナンスを 「Visual Studio Code 1.130」リリース ─ AIエージェントを専用プロセスで実行 KVMベースの国産仮想化基盤「Prossione Virtualization」——ライセンス高騰と属人化運用、2つの課題を同時に解決 【AIと人】情報は武器か、それともノイズか AI時代の論文投稿に潜む「見えない情報漏えい」 NVIDIA、フィジカルAI向けワールドモデルを一般公開、Unity、次世代プラットフォーム「Unity 7」を発表 ほか 「Backstage」でユーザーからのフィードバックを収集する仕組みを作ってみよう
Kaggleは「キャリアの再定義」に役立つ ー文系営業がKaggler会で得た、挑戦の連鎖と新しい自分 「PyTorch 2.13」リリース ─ FlexAttentionのApple Silicon対応など 「deepin 25.2.0」リリース ─ Debianベースのデスクトップ向けディストリビューション Kaggleは「キャリアの選択肢の拡大」に役立つ ーコンペで得た学びが、実務・教育・研究・執筆へと広がるまで 「Linuxサーバー構築標準教科書 Ubuntu版」公開 ─ Ubuntuに対応した標準教科書が登場 「DrupalCamp Tokyo 2026」参加レポート ーAI時代に進化するCMS「Drupal」は次のフェーズへ！ 【AIに何を任せ、どこで止めるか】Loop Engineeringから考える仕事の設計 WSLでUbuntuの最新LTSリリース「Ubuntu 26.04 LTS」を動かしてみよう データ・人・AIを繋ぐ、アトラシアンの「Teamwork Graph」とは ーAI時代の競争力の鍵はAIモデルではなくコンテキストにあり 「HAMi」でKubernetes上のGPUメモリ分離の仕組みを理解し、共有を試してみよう
人気記事ランキングをもっと見る

新着記事

企画広告も役立つ情報バッチリ！ 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