Python早見帳は、プログラムと実行例をカタログ的に提示しながら、Pythonの言語仕様やライブラリを紹介しています。Pythonの基礎を素早く習得したり、ライブラリやオブジェクトの使い方を確認することができます。
[ ホーム | 講義 ] 2020年度後期・数理解析・計算機数学 II (同 概論II) レポート課題 レポート課題 提出期限 2021年1月27日(水) (1月13日10時45分訂正) 講義予定 シラバス 1回目（10月7日1限）の教室は多元109号室に変更 2回目以降も多元109号室で講義を行う 第1回10月 7日 Coq/SSReflectの論理 講義メモ 資料 EmacsでCoqを使う 設定ファイル coq.emacs (.emacs にコピーす る) 第2回10月14日 述語論理とSSReflectのタクティック 講義メモ 第3回10月21日 再帰的な定義と帰納法 講義メモ 第4回10月28日 帰納的な定義と多相性 講義メモ 第5回11月4日 Mathcomp, 自己反映と単一化 講義メモ ssrbool_doc.pdf, ssrnat_doc.pdf (R. Affeldt の
karino2の暇つぶしプログラム教室のF#編のページです。 理論上がりの人が機械学習屋になってPythonでとりあえずコードは書けるようになった、くらいの人で、 そろそろプログラムって奴を本格的にやってみるか、と思った人を対象に、karino2が暇つぶし程度にプログラムを教える、という事をやるサイトです。 機械学習屋になりたい人向けではなくて、すでになっている人に対してのプログラムの教室です。機械学習は扱いません。 姉妹サイト: karino2の暇つぶしプログラム教室 C言語編(通称c-lesson) モチベーションや背景など モチベーションとか背景とか 進め方 適当に課題をやってもらいつつgitterで質問に答えたり添削したりして、 たまに補足したり説明した方がいいと思う事は本を紹介したり説明をしたり動画を作ったりします。 とりあえず始める人はgitterで自己紹介くらい簡単にしてくれ
その学生は、なんと言っても「無気力」だった。返事も「はい･･･」「わかりません」と、気の抜けた感じ。指導を私に託した先生によると、卒論を書く時期になると大学に来なくなり、もう二回も卒業し損ねているという。 こりゃ、無理やりやらせても言ったことの半分もできないのは目に見えていた。 教えても「はい･･･」と生返事で、わかったのかどうかもわからない。旧帝大生だから理解力はあるはずだが、とにかく気力がない。意欲がないことには何を指導しても無駄だろう。 そこで、以前から「こうしたら意欲が高まるかもしれない」と感じていた仮説を試してみることにした。 とある実験結果を示して、「何か気づいたことがあったら教えて」と言った。すると学生は案の定「わかりません」という。「わからなくて当然、だって僕も初めての現象だからわからん。なので、互いに気づいたことをどんどん言い合うようにしよう」 「たとえばここ、どうなって
お知らせ: 2022/9/1 CS50 を活用した非営利／協賛企業による「コロナ学生支援」プロジェクトを実施中 ▼ 学生の方へ：CS50 の学習（履修証明書の取得）を一緒に取り組むプロジェクト CS50日本語版の翻訳コントリビューターである CODEGYM が主催する、非営利／無償のプロジェクト「CODEGYM Academy (外部リンク)」は、昨年に続き2022年度（春/秋）も、キャリア選択を控えた学生に対し、以下の企業の協賛により無償で17週間のプログラミング教育カリキュラムを提供します。 CODEGYM Academy 協賛企業（2022年） https://codegym.jp/academy/ 今年度のエントリーは締め切りました — ようこそ！ このページは、ハーバード大学 CS50 の日本語版翻訳プロジェクトのページです。当サイトのドメインに掲載されているコンテンツは、Cre
東京工業大学の「システム開発プロジェクト応用第一」の講義動画シリーズです。再生リスト→ https://www.youtube.com/playlist?list=PLbBGNsln3DxR3yFgCPvj40_nV-k5buTvz 今回はバージョン管理システムを紹介します。主に Git の操作やデータモデルを説明します。ローカルにリポジトリを作ったり，リポジトリを複製して push/pull を試したりします。ワークツリー，インデックス，HEAD の関係を理解することで，git reset コマンドの挙動を深く理解します。3-way マージの仕組みとリベースの挙動を詳しく解説します。 00:00 バージョンを管理する、とは何か 12:25 基本的なgitコマンドたち（前置きを飛ばして見たい方はここから） 16:10 git diff 17:45 git log、git log --g
レポート等の課題におけるLLMの使用について（履修者向け） 本科目におけるクイズやレポート等の課題においてLLMを使用する場合は、以下に注意してください。 LLMを使用することを一律に禁止するものではありません。ただし、答案作成の過程で LLM を使用した場合は、その旨を明記した上で、答案に加えて (1) 使用した目的、(2) 使用したプロンプト、(3) 使用したモデル、(4) LLM からの出力、(5) それを踏まえてどのように自分の答案を作成したか、を明記してください。 実装課題において初めからから LLM にソースコードを生成させることは学習の効果を大きく下げてしまいます。LLM で正しいプログラムを作成させるためには、（少なくとも現状で普通にアクセスできる LLM においては）効果的なプロンプトを与え、生成されたプログラムの正しさを判断するために、ある程度の実装スキルが自身に必要で
真野 智之 (Tomoyuki Mano) <tomoyukimano@gmail.com> version 1.0, 2020-06-19
見て分かる、試して分かるたのしいアルゴリズムの図鑑。幅広い分野のアルゴリズムを、アニメーションでやさしく解説。さまざまに試せる実験モードで理解がさらに進みます。暗号化、セキュリティなど身近なアルゴリズムも満載。さあ、アルゴリズムの世界に旅立ちましょう！ 【 カテゴリと掲載項目例 】 《 ソート 》 バブルソート、ヒープソート、クイックソートなど６項目 《 クラスタリング 》 k-means法 《 リスト探索 》 線形探索、２分探索 《 グラフ探索 》 幅優先・深さ優先探索、ダイクストラ法、Ａ＊(エー・スター)など５項目 《 数学 》 ユークリッドの互除法、素数判定法 《 データ圧縮 》 ハフマン符号、ランレングス符号 《 セキュリティ 》 セキュリティ・暗号の基礎、共通鍵・公開鍵暗号方式、デジタル署名・証明書など10項目 《 データ構造 》 リスト・配列、スタック・キュー、２分探索木など７
あなたは、とうとう くいなちゃんのWebサイトに 迷い込んでしまいました…。 あなたは、とうとう くいなちゃんのWebサイトに 迷い込んでしまいました…。
高等学校 数学文部科学省の高等学校学習指導要領に沿った内容の問題を，大学入学試験，大学入学共通テスト，大学入試センター試験，高等学校卒業程度認定試験等に過去に出題されたものを参考にしてまとめた例題集です．
メインページ / 更新履歴 数学：物理を学び楽しむために （半永久的に）執筆中の数学の教科書の草稿を公開しています。どうぞご活用ください。著作権等についてはこのページの一番下をご覧ください。 これは、主として物理学（とそれに関連する分野）を学ぶ方を対象にした、大学レベルの数学の入門的な教科書である。 高校数学の知識を前提にして、大学生が学ぶべき数学をじっくりと解説する。 最終的には、大学で物理を学ぶために必須の基本的な数学すべてを一冊で完全にカバーする教科書をつくることを夢見ているが、その目標が果たして達成されるのかはわからない。 今は、書き上げた範囲をこうやって公開している。 詳しい内容については目次をご覧いただきたいが、現段階では ■ 論理、集合、そして関数や収束についての基本（2 章） ■ 一変数関数の微分とその応用（3 章） ■ 一変数関数の積分（4 章） ■ 常微分方程式（5 章
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く