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

【深きプログラミング言語】なぜプログラムを書くのか？

TOP＞システム開発＞ 【深きプログラミング言語】なぜプログラムを書くのか？

【深きプログラミング言語】なぜプログラムを書くのか？

【深きプログラミング言語】
なぜプログラムを書くのか？

第1回：2008/11/05（水）　　第2回：2008/11/12（水）

第3回：2008/11/19（水）　　第4回：2008/11/26（水）

はてなブックマークの登録数

目次
公開日タイトル
2008/11/05（水）第1回：プログラミングの常識を疑え！
2008/11/12（水）第2回：命令型プログラミングはどこに行くのか
2008/11/19（水）第3回：宣言型プログラミングの可能性と限界
2008/11/26（水）第4回：等価変換型プログラムをかじる
主要著者紹介
北海道大学大学院　若槻 俊宏
北海道大学大学院 情報科学研究科 博士後期課程（D1）
当初はAI研究に興味を持っていたのだが、現在のプログラミング技術の水準では不十分だと考え、いつの間にかプログラミングの基礎理論を研究する道に。
大学院時代は、等価変換に基づく問題解決、特にルール型プログラムから命令型プログラムを合成するための理論について研究。
2008年11月21日付けで、京都マイクロコンピュータ株式会社に入社予定。今後はデバッガ技術に基づきソフトウエアとハードウエアの本質を突き詰めて行くつもりである。
http://alohakun.blog7.fc2.com/

トップへ戻る

人気記事トップ10

【AIエージェント時代の新資格】AIエージェント・ストラテジストから見える「これから求められる人材」 「エージェント型AIは今どこにいるのか」――Gartnerが示す2026年ハイプ・サイクル、フィジカルAIとともに「過度な期待」のピーク期 「Tails 7.12」リリース ─ 2週間間隔の更新サイクルへの移行も Kaggleは「今いる場所で成長する」のに役立つ ー社内コンペ・育成制度・会場提供、DSが組織を動かすまで 「GitHub Copilot」、法人向け課金とポリシーを変更 ─ チャット保持期間も延長 「ReactOS 0.4.16」リリース ─ GUIインストーラーと統合イメージを導入 「OpenZFS 2.4.4」リリース ─ Linux 7.2に対応、デバイスアクセス検査を強化 MySQLの「ST_Within()」「ST_Contains()」関数でジオメトリの包含関係を判定してみよう 「Rust Coreutils 0.11.0」リリース ─ 新しいエラー診断を導入 「Proxmox VE」をインストールして仮想化基盤を立ち上げよう
「Ubuntu 26.04.1 LTS」リリース ─ 8月25日までのアップデートを反映 「Armbian 26.8」リリース ─ Linux 7.1と全面刷新したインストーラを採用 「ReactOS 0.4.16」リリース ─ GUIインストーラーと統合イメージを導入 Kaggleは「今いる場所で成長する」のに役立つ ー社内コンペ・育成制度・会場提供、DSが組織を動かすまで 【AIエージェント時代の新資格】AIエージェント・ストラテジストから見える「これから求められる人材」 「Proxmox VE」をインストールして仮想化基盤を立ち上げよう 「1日1回限定のガチャ」を20連できてしまう ― ゲームAPIで頻出するTOCTOUとその対策 「GitHub Copilot」、法人向け課金とポリシーを変更 ─ チャット保持期間も延長 「エージェント型AIは今どこにいるのか」――Gartnerが示す2026年ハイプ・サイクル、フィジカルAIとともに「過度な期待」のピーク期 侵入の4分の1は「EDRが入っていない端末」から――国内405社調査が示す、守っているつもりの逆転構造
「Linux Mint 22.3」、Linux 7.0搭載HWE ISOを公開 「Armbian 26.8」リリース ─ Linux 7.1と全面刷新したインストーラを採用 Kaggleは「次の一歩へ踏み出す」のに役に立つ ー組み込み→画像AI→医療AI、3段階の越境が教えてくれたこと 「Ubuntu 26.04.1 LTS」リリース ─ 8月25日までのアップデートを反映 「GNU Linux-libre 7.2」リリース ─ AMD、Qualcomm、Intel関連ドライバのdeblob処理を更新 数式なしでスラスラ読める機械学習の入門書！『じわじわわかる機械学習 データ分析・AIアルゴリズムのなかみ』を5名様にプレゼント！ 三菱電機のOSPOにインタビュー、生成AIに見つけて貰うとは？ そしてAI Slopにどう対処するのか？ を訊いた 「ReactOS 0.4.16」リリース ─ GUIインストーラーと統合イメージを導入 「SparkyLinux 8.4」リリース ─ 32bit PC向けISOを復活 クラウド時代に「サーバー解体研修」が3年続く理由 ー日本CTO協会 新卒エンジニア合同研修レポート
人気記事ランキングをもっと見る

新着記事

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