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

北海道大学大学院 とは 意味/解説/説明

全 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

「MySQL」と「PostgreSQL」の基本的な情報と導入方法 オープンソースのOSブートシステム「systemd 259」リリース Zabbix Summit2025、SCSKの生成AIエージェントを活用したセッションを紹介 「Terraform」で状態ファイルに「リモートバックエンド」を設定してみよう Zabbix Summit2025から世界各地のパートナーのセッションをまとめて紹介 Community Over Code Asia 2025、Rustだけのトラックを紹介。中国で着実に拡がるRustエコシステム Xrealの新型デバイス「Project Aura」初クリップ公開、発売は2026年予定ほか API GatewayのKongがニューヨークでテックカンファレンスを開催。初日のキーノートを紹介 250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方 今後の「DevRelの在り方」を考える
【最新アップデート】GPT-5.1/Gemini 3/Claude 4.5はそれぞれ何が変わったのか Xrealの新型デバイス「Project Aura」初クリップ公開、発売は2026年予定ほか 生成AI EXPO登壇陣が断言―「エンジニア不要論」への答え、個人から大企業まで実証する50倍生産性向上の実態 Zabbix Summit2025、SCSKの生成AIエージェントを活用したセッションを紹介 「MySQL」と「PostgreSQL」の基本的な情報と導入方法 Javaを学ぶならこの1冊！初心者のためのJava学習書の決定版『スッキリわかるJava入門 第4版』を5名様にプレゼント！ 「Terraform」で状態ファイルに「リモートバックエンド」を設定してみよう Community Over Code Asia 2025、Rustだけのトラックを紹介。中国で着実に拡がるRustエコシステム 250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方 Zabbix Summit2025から世界各地のパートナーのセッションをまとめて紹介
【最新アップデート】GPT-5.1/Gemini 3/Claude 4.5はそれぞれ何が変わったのか 生成AI EXPO登壇陣が断言―「エンジニア不要論」への答え、個人から大企業まで実証する50倍生産性向上の実態 Xrealの新型デバイス「Project Aura」初クリップ公開、発売は2026年予定ほか Zabbix Summit2025、SCSKの生成AIエージェントを活用したセッションを紹介 アリババ新型AIグラス発表、MetaのAIグラス向けSDKプレビュー公開ほか 「MySQL」と「PostgreSQL」の基本的な情報と導入方法 Zabbix Summit2025からアナログな水道メーターを機械学習で監視するソリューションを紹介 Javaを学ぶならこの1冊！初心者のためのJava学習書の決定版『スッキリわかるJava入門 第4版』を5名様にプレゼント！ API GatewayのKongがニューヨークでテックカンファレンスを開催。初日のキーノートを紹介 全社のアクセルとブレーキを握る「コーポレートPMO」
人気記事ランキングをもっと見る

新着記事

地理情報データの閲覧に便利な閲覧ツール「DBeaver」を使ってみよう 6:30 日本初のクラウド勘定系を実現した次世代バンキングシステムの設計と運用 6:00 250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方 12月18日 6:30 今後の「DevRelの在り方」を考える 12月18日 6:30 「MySQL」と「PostgreSQL」の基本的な情報と導入方法 12月16日 6:30

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

250環境を5人で運用、構築時間は30分に ーKINTOテクノロジーズが語るインフラ基盤組織の作り方 12月18日 6:30 新たな自動化で熱視線！ AIエージェントの「推論能力」を支える2つのコンポーネントとは？ 11月28日 6:30 IoTに生成AIを掛け合わせる「AI-driven IoT」で現場のIoTデータ活用を加速 11月26日 6:30 アイレット、KDDIの属人化問題を生成AIアシスタントの精度を高め解消へ 11月21日 6:30 「Grafana Cloud」の先進的ユーザーであるグリーが10年をかけて到達した「オブザーバービリティ」とは 5月15日 6:30 Grafana Labs CTOのTom Wilkie氏インタビュー。スクラップアンドビルドから産まれた「トラブルシューティングの民主化」とは 4月21日 6:30 API管理をより簡単にする「Kong Konnect」が解決する課題とその主要機能 3月5日 5:30 目指すはプロセス連結によるサイロ化の打破! ガバナンス強化にも寄与する自動化プラットフォームとは 1月15日 6:30 AIで激変する「DevOpsの未来」と「IT組織のリーダーが備えるべきこと」とは 2024年11月26日 8:53 仕様書からテストケースを自動生成! Autify Genesisが変えるソフトウェアテストの未来 2024年11月21日 8:04