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

用語「北海道大学大学院」 が使われている記事の一覧

全 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

【アプリケーションエンジニア編】“シンプルなはず”が機能だらけに。炎上を防ぐ鍵は「可視化」 Epic Games大規模レイオフを発表、Ubisoft、Red Storm Entertainmentのゲーム開発を終了 ほか 「ExternalDNS」でDNSレコードの管理を自動化する Linuxディストリビューション「SystemRescue 13」リリース ─ Linux 6.18 LTS採用と各種ツール更新 【AIエージェント時代】SaaSは消えるのか? SaaS終焉論とソフトウェアの未来 Elastic{ON} Tokyo 2026開催。コンテキストエンジニアリングを訴求するCEOのキーノートセッションを紹介 「antiX 26」リリース ─ 複数init選択に対応した軽量ディストリビューション 「CAPE v2」で実際にマルウェア解析を試してみよう 【特別講演】なぜ東京ではなく、東海なのか？ 1500万人の製造都市から始まる「日本再興」のシナリオ MetaのCTO「Horizon Worlds」継続を発表、MetaのVR空間キャプチャ機能「Hyperscape Capture」Horizon Worldsから除外 ほか
【AIエージェント時代】SaaSは消えるのか? SaaS終焉論とソフトウェアの未来 【特別講演】なぜ東京ではなく、東海なのか？ 1500万人の製造都市から始まる「日本再興」のシナリオ 「antiX 26」リリース ─ 複数init選択に対応した軽量ディストリビューション Elastic{ON} Tokyo 2026開催。コンテキストエンジニアリングを訴求するCEOのキーノートセッションを紹介 しっかりと理解できている? Linuxの「標準入力」「標準出力」再入門 「CAPE v2」で実際にマルウェア解析を試してみよう 【提言】分断されるAPI、次なる標準化への道標 セキュリティ調査向けLinuxディストリビューション「Kali Linux 2026.1」リリース ─ 新テーマとBackTrackモードを導入 【CNDW2025】Dev ContainersとSkaffoldで実現するクラウドネイティブ開発環境 MetaのCTO「Horizon Worlds」継続を発表、MetaのVR空間キャプチャ機能「Hyperscape Capture」Horizon Worldsから除外 ほか
【特別講演】なぜ東京ではなく、東海なのか？ 1500万人の製造都市から始まる「日本再興」のシナリオ しっかりと理解できている? Linuxの「標準入力」「標準出力」再入門 【AIエージェント時代】SaaSは消えるのか? SaaS終焉論とソフトウェアの未来 楽天、日本語LLM「Rakuten AI 3.0」を公開 ─ 約7000億パラメータの大規模モデル 【AI時代の教育を創る】「世界一、子どもたちの成功体験を作り続けたい」 株式会社EdFusion 代表取締役兼CEO 近藤にこる氏(中学生起業家)インタビュー 「ExternalDNS」でDNSレコードの管理を自動化する 「antiX 26」リリース ─ 複数init選択に対応した軽量ディストリビューション 「GNOME 50」リリース ─ Wayland中心設計への移行など大規模更新 MetaのCTO「Horizon Worlds」継続を発表、MetaのVR空間キャプチャ機能「Hyperscape Capture」Horizon Worldsから除外 ほか Elastic{ON} Tokyo 2026開催。コンテキストエンジニアリングを訴求するCEOのキーノートセッションを紹介
人気記事ランキングをもっと見る

新着記事

【アプリケーションエンジニア編】“シンプルなはず”が機能だらけに。炎上を防ぐ鍵は「可視化」 3月30日 6:30 Epic Games大規模レイオフを発表、Ubisoft、Red Storm Entertainmentのゲーム開発を終了 ほか 3月30日 6:00 「CAPE v2」で実際にマルウェア解析を試してみよう 3月27日 6:30 【CNDW2025】Gateway APIとKuadrant、Keycloakで実現するプロダクトチームに任せても壊れないAPI公開の設計思想 3月27日 6:01 エンタメ×AIはまだ始まっていない ーPinyokioが描くAIタレント事業の勝ち筋 3月26日 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