分厚めの壁

アルゴリズムとデータ構造では文字列探索。しかしKMP法とBM法、むちゃくちゃややこしいぞ!? いろいろフローをたどってみるけど、いまいち理解できない。発想は理解してるけど、自分で書けと言われたら無理。
IT未来学ではアクセンチュアの社長さん。コンサルタントだけあって話は完全にビジネスの世界。飛び交う横文字、呆然と聴く聴衆、質問がほとんど出ませんでした。
人工知能論では節形式論理記述を融合させての自動証明。解析概論では1階・2階線形微分方程式の特殊解と一般解。