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

若槻 俊宏

北海道大学大学院
北海道大学大学院 情報科学研究科 博士後期課程（D1）。当初はAI研究に興味を持っていたのだが、現在のプログラミング技術の水準では不十分だと考え、いつの間にかプログラミングの基礎理論を研究する道に。大学院時代は、等価変換に基づく問題解決、特にルール型プログラムから命令型プログラムを合成するための理論について研究。2008年11月21日付けで、京都マイクロコンピュータ株式会社に入社予定。今後はデバッガ技術に基づきソフトウエアとハードウエアの本質を突き詰めて行くつもりである。http://alohakun.blog7.fc2.com/

若槻 俊宏の人気記事トップ5

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

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

若槻 俊宏

2008年11月19日 20:00

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

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

若槻 俊宏

2008年11月12日 20:00

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

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

若槻 俊宏

2008年11月26日 20:00

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

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

若槻 俊宏

2008年11月5日 20:00

若槻 俊宏の執筆記事（最新5記事）

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

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

若槻 俊宏

2008年11月26日 20:00

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

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

若槻 俊宏

2008年11月19日 20:00

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

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

若槻 俊宏

2008年11月12日 20:00

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

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

若槻 俊宏

2008年11月5日 20:00

この記事をシェアしてください

人気記事トップ10

KubeCon North America 2025、分散DBのYugabyteDBのCMOにインタビュー 【持続可能なAIとの道】生成AIが“当たり前”になる社会で、地球は耐えられるのか 「エンジニアはITコンサルタントへの転職で幸せになれるのか？」ー評価・年収・キャリアー徹底解説 スマートグラス「Even G2」2026年春より国内販売開始ほか 文書や画像生成、データ分析などをGoogleのAIで効率化！『できるGemini』を5名様にプレゼント！ 「Linux 6.19.6/6.18.16/6.12.75/6.6.128/6.1.165/5.15.202/5.10.252」リリース ─ メモリ管理サブシステムにおける不具合修正など コマンドを並列実行して効率アップ!「GNU Parallel」を使いこなそう デスクトップ向けLinuxディストリビューション「Nitrux 6.0.0」リリース ─ メジャーアップデート 「Hyprland 0.54」リリース ─ レイアウト機能刷新と大幅な性能改善 「PostgreSQL 18.3/17.9/16.13/15.17/14.22」リリース ─ json_strip_nulls()/jsonb_strip_nulls()の不変性設定修正など
スマートグラス「Even G2」2026年春より国内販売開始ほか コマンドを並列実行して効率アップ!「GNU Parallel」を使いこなそう マルウェア解析環境を作ってみよう(Guest OSのインストールと設定) 「エンジニアはITコンサルタントへの転職で幸せになれるのか？」ー評価・年収・キャリアー徹底解説 【CNDW2025】Kotlin/Nativeで自作する低レイヤコンテナランタイムの仕組みと実装の壁 【3/2開催】Windowsは「AIのためのキャンバス」へ。AIと共に進化するOSの真価を体感する「Windows AI Day」開催！ 【持続可能なAIとの道】生成AIが“当たり前”になる社会で、地球は耐えられるのか Epic Gamesが3Dデジタルヒューマン技術企業を買収、Roblox StudioのMCPサーバーが大幅更新ほか 【シリコンバレーへの挑戦状】教育投資1.5万円の日本が、AI×現場力で世界を逆転する「実戦戦略」 アニメ×AIに「フルスタック」で挑む—AiHUBが目指す制作基盤とは？
文書や画像生成、データ分析などをGoogleのAIで効率化！『できるGemini』を5名様にプレゼント！ スマートグラス「Even G2」2026年春より国内販売開始ほか コマンドを並列実行して効率アップ!「GNU Parallel」を使いこなそう マルウェア解析環境を作ってみよう(Guest OSのインストールと設定) 【シリコンバレーへの挑戦状】教育投資1.5万円の日本が、AI×現場力で世界を逆転する「実戦戦略」 【3/2開催】Windowsは「AIのためのキャンバス」へ。AIと共に進化するOSの真価を体感する「Windows AI Day」開催！ アニメ×AIに「フルスタック」で挑む—AiHUBが目指す制作基盤とは？ オープンソースの電子書籍管理ソフト「Calibre 9.3.1」リリース ─ Windowsインストーラ改良、KEPUB出力強化など 「エンジニアはITコンサルタントへの転職で幸せになれるのか？」ー評価・年収・キャリアー徹底解説 【CNDW2025】Kotlin/Nativeで自作する低レイヤコンテナランタイムの仕組みと実装の壁
人気記事ランキングをもっと見る

新着記事

【CNDW2025】Kotlin/Nativeで自作する低レイヤコンテナランタイムの仕組みと実装の壁 3月3日 6:00 Epic Gamesが3Dデジタルヒューマン技術企業を買収、Roblox StudioのMCPサーバーが大幅更新ほか 3月2日 6:00 LFが2025年の年次報告書「オープンにおけるイノベーション」を公開 2月27日 6:30 写真で見るKubeCon North America 2025 2月27日 5:59 アニメ×AIに「フルスタック」で挑む—AiHUBが目指す制作基盤とは？ 2月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