論文の概要: "CS 1.5": An Experience Report on Integrating CS1 and Discrete Structures for the AI Era
- arxiv url: http://arxiv.org/abs/2604.16365v1
- Date: Sat, 21 Mar 2026 21:15:59 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-05-11 07:10:05.135441
- Title: "CS 1.5": An Experience Report on Integrating CS1 and Discrete Structures for the AI Era
- Title（参考訳）: CS 1.5":AI時代のCS1と離散構造の統合に関する経験報告
- Authors: Ildar Akhmetov, Juancho Buchanan,
- Abstract要約: 生成型AIは、導入型コンピュータサイエンス教育のランドスケープを根本的に変えた。
そこで我々は,ノースイースタン大学バンクーバー校で実験的なコース統合を設計,実装した。
本報告では,4時間スタジオフォーマットをサポートするためのタイムテーブルの再構築など,我々の教育的介入について詳述する。
- 参考スコア（独自算出の注目度）: 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: The rapid proliferation of generative AI has fundamentally altered the landscape of introductory computer science education. Traditional methods that prioritize syntax memorization and writing code from scratch are challenged by tools that can generate such code instantly. In response, we designed and implemented an experimental course integration at Northeastern University Vancouver, merging "Intensive Foundations of Computer Science" (CS1) and "Discrete Structures" into a single, cohesive studio experience. Dubbed "CS 1.5"--a playful nod to its position between CS1 and CS2--this course operates on two core principles: embracing AI as a collaborator rather than an adversary, and prioritizing deep theoretical foundations alongside practical implementation. This report details our pedagogical interventions, including the restructuring of the timetable to support a 4-hour studio format, the introduction of "sharing circles" to foster human connection, and the strategic shift to "code comprehension" over code generation. We discuss specific integrated projects--spanning set theory, recursion, and probability--that bridge the gap between mathematical proofs and software implementation. Finally, we reflect on the changing role of the instructor--from a repository of knowledge to a human mentor--and offer practical recommendations for scaling this high-touch, integrated model.
- Abstract（参考訳）: 生成AIの急速な普及は、導入型コンピュータサイエンス教育のランドスケープを根本的に変えた。
構文の暗記とスクラッチからのコード記述を優先する従来の手法は、そのようなコードを即座に生成できるツールによって難題となっている。
そこで我々は,ノースイースタン大学バンクーバー校で「コンピュータ科学の集中的基礎」と「離散構造」を統合した実験的なコース統合を設計し,実装した。
CS 1.5"と名付けられたこのコースは、CS1とCS2の間の立場を暗示している。このコースは、敵ではなく協力者としてAIを受け入れることと、実践的な実装と並行して深い理論的基礎を優先することの2つの基本原則に基づいている。
本報告では,4時間スタジオフォーマットをサポートするためのタイムテーブルの再構築,人間関係を育むための「共有サークル」の導入,コード生成に対する「コード理解」への戦略的シフトなど,私たちの教育的介入について詳述する。
本稿では, 集合論, 再帰, 確率という, 数学的証明とソフトウェア実装のギャップを埋める特定の統合プロジェクトについて論じる。
最後に、インストラクターの役割の変化を反映し、知識のリポジトリから人間のメンターへ、そしてこのハイタッチ統合モデルをスケールするための実践的なレコメンデーションを提供する。
関連論文リスト
- From Understanding to Creation: A Prerequisite-Free AI Literacy Course with Technical Depth Across Majors [2.1212179660694104]
UNIV 182は、学部生にAIシステムを理解し、使用し、評価し、構築するよう教える前提条件のないコースである。
論文は、このデザインを、多人数のAIリテラシーコースと教育学の伝統の比較分類学に位置づけている。
論文 参考訳（メタデータ） (2026-03-19T23:18:43Z) - Beyond the Code: A Multi-Modal Assessment Strategy for Fostering Professional Competencies via Introductory Programming Projects [1.8810916321241071]
本稿では,プロジェクトベースラーニングフレームワークを用いて2Dゲーム「Maze Runner」スタイルの開発を行う「Fundamentals of Programming」コースについて報告する。
この多次元的アプローチは,プログラミング基礎の学生の維持を向上させると考えられる。
論文 参考訳（メタデータ） (2026-03-19T10:42:34Z) - IQuest-Coder-V1 Technical Report [56.045533451719905]
IQuest-Coder-V1 シリーズ-(7B/14B/40B/40B-Loop) は、新しいコード大言語モデル(LLM)のファミリーである。
IQuest-Coder-V1は、コードインテリジェンスの重要な次元にわたる競合モデルの最先端のパフォーマンスを達成する。
論文 参考訳（メタデータ） (2026-03-17T16:15:31Z) - Statistical Learning Theory in Lean 4: Empirical Processes from Scratch [57.00315741159824]
本稿では,経験的プロセス理論に基づく統計学習理論(SLT)の総合的なLean 4形式化について述べる。
エンドツーエンドの正式なインフラストラクチャは、最新のLean 4 Mathlibライブラリに欠けている内容を実装しています。
この研究は再利用可能な形式基盤を確立し、機械学習理論の今後の発展への扉を開く。
論文 参考訳（メタデータ） (2026-02-02T16:24:53Z) - Revisiting Software Engineering Education in the Era of Large Language Models: A Curriculum Adaptation and Academic Integrity Framework [0.0]
本稿では、生成AIがコアソフトウェアエンジニアリング能力をどのように変化させるかを分析するための理論的枠組みを提案する。
トルコのコンピュータ工学プログラムに注意が向けられ、中央集権的な規制、大規模なクラスサイズ、試験指向のアセスメントがこれらの課題を増幅している。
論文 参考訳（メタデータ） (2026-01-06T22:41:47Z) - "Can you feel the vibes?": An exploration of novice programmer engagement with vibe coding [42.82674998306379]
ビブコーディング(vibe coding)とは、直接のコードオーサシップではなく、自然言語のプロンプトを通じてソフトウェアを作成することを指す。
本稿では、初心者プログラマと混合経験チームがどのようにバイブコーディングに関わるかを調査する1日間のハッカソンについて報告する。
論文 参考訳（メタデータ） (2025-12-02T13:32:23Z) - From Code Foundation Models to Agents and Applications: A Practical Guide to Code Intelligence [150.3696990310269]
大規模言語モデル(LLM)は、自然言語記述を直接関数コードに変換することによって、自動ソフトウェア開発を変革した。
コードLLMに関する総合的な合成と実践的ガイド(一連の解析および探索実験)を提供する。
一般LLM(GPT-4, Claude, LLaMA)とコード特殊化LLM(StarCoder, Code LLaMA, DeepSeek-Coder, QwenCoder)のコード機能の解析を行う。
論文 参考訳（メタデータ） (2025-11-23T17:09:34Z) - A Survey of Vibe Coding with Large Language Models [93.88284590533242]
視覚符号化(Vibe Coding)は、開発者が成果観察を通じてAI生成の実装を検証する開発手法である。
変革の可能性にもかかわらず、この創発的パラダイムの有効性は未解明のままである。
この調査は、大規模な言語モデルによるVibe Codingの総合的かつ体系的なレビューを初めて提供する。
論文 参考訳（メタデータ） (2025-10-14T11:26:56Z) - Enhancing Educational Efficiency: Generative AI Chatbots and DevOps in Education 4.0 [0.0]
本研究は,コンピュータサイエンス教育におけるイノベーティブな教育的アプローチをもたらすものである。
人工知能(AI)とDevOpsから借用された方法論を組み合わせて、コンテンツ管理システム(CMS)開発における学習経験を強化する。
論文 参考訳（メタデータ） (2024-04-18T18:45:39Z) - Set-to-Sequence Ranking-based Concept-aware Learning Path Recommendation [49.85548436111153]
SRC(Set-to-Sequence Ranking-based Concept-Aware Learning Path Recommendation)という新しいフレームワークを提案する。
SRCは、セット・ツー・シーケンス・パラダイムの下でレコメンデーション・タスクを定式化する。
実世界の2つの公開データセットと1つの産業データセットについて広範な実験を行う。
論文 参考訳（メタデータ） (2023-06-07T08:24:44Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。