Hacktoberfest 2026: những issue maintainer đã đánh dấu cho tháng Mười, đang mở và phù hợp người mới. Xem issue Hacktoberfest

lean-ja/lean-by-example

Đăng nhập để theo dõi Xem trên GitHub

コード例で学ぶ Lean 言語

lean-ja/lean-by-example có thân thiện với người mới không?

Gần đây có quá ít pull request của người đóng góp bên ngoài gửi tới lean-ja/lean-by-example để nói chúng được merge thường xuyên đến đâu. Hiện có 12 issue phù hợp với người mới đang mở.

Star
190
Fork
16
Issue cho người mới đang mở
12
Issue đã lập chỉ mục
584
Ngôn ngữ chính
Lean
Giấy phép
Không có dữ liệu giấy phép
Lần push lên GitHub gần nhất
15/9/2026
Lập chỉ mục gần nhất
20/9/2026
Hướng dẫn đóng góp
Không có quy tắc ứng xử
Label cho người mới
Chưa lập chỉ mục label nào cho người mới
Không có pull request nào được merge trong 30 ngày

Cách đóng góp cho lean-ja/lean-by-example

  1. Hãy đọc hướng dẫn đóng góp trước: nó cho biết maintainer muốn thay đổi được đề xuất, kiểm thử và review ra sao.
  2. Dự án có sẵn dev container: mở trong Codespaces để có ngay môi trường chạy được trong trình duyệt.
  3. Chọn một trong 12 issue phù hợp với người mới đang mở bên dưới và bình luận rằng bạn muốn làm nó trước khi bắt đầu.
Phù hợp cho người mới Tất cả
Đang mở Tất cả

Các issue có thể đã có người làm được xếp cuối danh sách. Sắp xếp tất cả theo ngày

  • 「無名コンストラクタは入れ子になっていても使用できる」は誤り
    Đang mở
    • Có gì không ổn?
    バグ・誤り・不備

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100

    lean-ja/lean-by-example#2641 ·

  • FBIP を提案したのは Lean の論文ではない
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 52/100

    lean-ja/lean-by-example#2640 ·

  • macro_inline は instance に付けても良い
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2639 · 1 bình luận ·

  • PowerShell の、履歴に基づくサジェストの有効化はいらない
    Đang mở
    • Có gì không ổn?
    バグ・誤り・不備 優先度たかし

    Độ khó 1/5 Dưới một giờ Mức phù hợp với người mới 72/100

    lean-ja/lean-by-example#2638 ·

  • subset sum 問題の例
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    lean-ja/lean-by-example#2637 ·

  • Updates available but manual intervention required
    Đang mở
    • Có gì không ổn?
    auto-update-lean-fail

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    lean-ja/lean-by-example#2636 ·

  • linear でない使用を検知して警告を出す
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    lean-ja/lean-by-example#2633 ·

  • mkNullNode を使ってコマンドの配列からマクロ生成をする
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    lean-ja/lean-by-example#2631 ·

  • grind funCC の使い方
    Đang mở
    • Có gì không ổn?
    優先度たかし

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    lean-ja/lean-by-example#2630 ·

  • Lean開発者へのインタビュー
    Đang mở
    • Có gì không ổn?
    資料・教材

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

    lean-ja/lean-by-example#2626 ·

  • print ボタンを無効にするか、あるいはPDF版をダウンロードするボタンにする
    Đang mở
    • Có gì không ổn?
    バグ・誤り・不備

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2625 ·

  • タクティク早見表を独立させる
    Đang mở
    • Có gì không ổn?
    バグ・誤り・不備

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100

    lean-ja/lean-by-example#2624 ·

  • recall コマンドを紹介する
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 65/100

    lean-ja/lean-by-example#2622 ·

  • method_specs 属性を紹介する
    Đang mở
    • Có gì không ổn?

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 25/100

    lean-ja/lean-by-example#2620 ·

  • Leanの予約語についてのブログ記事
    Đang mở
    • Có gì không ổn?
    資料・教材

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2617 ·

  • xs : List α から n 個取り出す組み合わせを全列挙する
    Đang mở
    • Có gì không ổn?
    付録アイデア

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100

    lean-ja/lean-by-example#2616 ·

  • n の分割を全列挙する
    Đang mở
    • Có gì không ổn?
    付録アイデア

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

    lean-ja/lean-by-example#2615 ·

  • CLRS Textbook
    Đang mở
    • Có gì không ổn?
    資料・教材

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 20/100

    lean-ja/lean-by-example#2614 ·

  • List.product には csimp がある
    Đang mở
    • Có gì không ổn?
    要調査

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 38/100

    lean-ja/lean-by-example#2613 ·

  • Type上の関数を作る例: asList
    Đang mở
    • Có gì không ổn?
    優先度たかし

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    lean-ja/lean-by-example#2612 ·

  • 有限集合上の自己単射は全射
    Đang mở
    • Có gì không ổn?

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100

    lean-ja/lean-by-example#2611 ·

  • InfoTreeを紹介する
    Đang mở
    • Có gì không ổn?
    優先度たかし

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    lean-ja/lean-by-example#2610 ·

  • leo によるスライド資料
    Đang mở
    • Có gì không ổn?
    資料・教材

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    lean-ja/lean-by-example#2609 ·

  • Enum Handler
    Đang mở
    • Có gì không ổn?
    付録アイデア

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2608 ·

  • 不要な skill を削除する
    Đang mở
    • Có gì không ổn?
    優先度たかし

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2607 ·

  • `lia` タクティクを紹介する
    Đang mở
    • Có gì không ổn?
    優先度たかし

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2606 ·

  • `omega` ではなくて `lia` を使うよう促すべき？
    Đang mở
    • Có gì không ổn?
    Zulipで質問すべき Zulipで質問済 バグ・誤り・不備

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    lean-ja/lean-by-example#2603 ·

  • FBIPに関する一意性チェックの論文
    Đang mở
    • Có gì không ổn?
    資料・教材

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    lean-ja/lean-by-example#2602 ·

  • 整数係数多項式について
    Đang mở
    • Có gì không ổn?
    資料・教材

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    lean-ja/lean-by-example#2601 ·

  • exists 記号をマクロで出す時の注意点
    Đang mở
    • Có gì không ổn?

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2599 ·

  • ナップサック問題に対する全探索アルゴリズムを実装し、それが最適解を常に返すことを証明する
    Đang mở
    • Có gì không ổn?
    付録アイデア

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 45/100

    lean-ja/lean-by-example#2597 ·

  • 接頭辞付きの数値
    Đang mở
    • Có gì không ổn?
    付録アイデア

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

    lean-ja/lean-by-example#2596 ·

  • `#time` コマンドが遅いように見えることを注意する
    Đang mở
    • Có gì không ổn?
    バグ・誤り・不備

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100

    lean-ja/lean-by-example#2595 ·

  • loogle CLIをLLMに使用させたい
    Đang mở
    • Có gì không ổn?
    Zulipで質問すべき

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 55/100

    lean-ja/lean-by-example#2594 ·

  • 置換の実装
    Đang mở
    • Có gì không ổn?
    付録アイデア

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 48/100

    lean-ja/lean-by-example#2593 ·

  • 生文字列リテラルの説明が間違っているかも
    Đang mở
    • Có gì không ổn?
    バグ・誤り・不備

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2592 ·

  • インデントを自動的に除去する生文字列リテラル
    Đang mở
    • Có gì không ổn?
    メタプログラミング 付録アイデア 構文・パーサ

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2591 ·

  • #guard_panic コマンドがある
    Đang mở
    • Có gì không ổn?
    要調査

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 45/100

    lean-ja/lean-by-example#2590 ·

  • without_expected_type という項構文がある
    Đang mở
    • Có gì không ổn?
    構文・パーサ 要調査

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2589 · 1 bình luận ·

  • public import 等と書かれている部分に hober したらドキュメントを表示する
    Đang mở
    • Có gì không ổn?
    Zulipで質問すべき

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 25/100

    lean-ja/lean-by-example#2588 ·

  • #eval は式の評価だけをするわけではない
    Đang mở
    • Có gì không ổn?
    バグ・誤り・不備

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 55/100

    lean-ja/lean-by-example#2587 ·

  • deprecated package
    Đang mở
    • Có gì không ổn?
    Zulipで質問すべき

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2586 ·

  • `Format` を紹介する
    Đang mở
    • Có gì không ổn?
    データ型 優先度たかし

    Độ khó 2/5 1-3 giờ Mức phù hợp với người mới 68/100

    lean-ja/lean-by-example#2585 ·

  • `import Module` の `Module` に hover したときに docstring を見せる
    Đang mở
    • Có gì không ổn?
    Zulipで質問すべき

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2584 ·

  • LeanにはHaskellのSTM相当のものがない
    Đang mở
    • Có gì không ổn?
    メモ

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 25/100

    lean-ja/lean-by-example#2583 ·

  • 山本さんの関数型プログラミングについてのスライド
    Đang mở
    • Có gì không ổn?
    資料・教材

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2582 ·

  • Haskellについての山本さんのスライド
    Đang mở
    • Có gì không ổn?
    資料・教材

    Độ khó 3/5 1-2 ngày Mức phù hợp với người mới 45/100

    lean-ja/lean-by-example#2581 ·

  • ナップサック問題
    Đang mở
    • Có gì không ổn?
    付録アイデア

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2577 ·

  • leanDuction: nested inductive type
    Đang mở
    • Có gì không ổn?
    メモ 資料・教材

    Độ khó 4/5 3-5 ngày Mức phù hợp với người mới 35/100

    lean-ja/lean-by-example#2576 ·

  • for ループや while ループに対する intrinsic な不変条件の構文について
    Đang mở
    • Có gì không ổn?
    Zulipで質問すべき Zulipで質問済

    Độ khó 5/5 Hơn một tuần Mức phù hợp với người mới 30/100

    lean-ja/lean-by-example#2575 ·

Đang hiển thị 100 mục mới nhất

Trang này chỉ liệt kê những gì được lập chỉ mục gần đây. Bộ lọc nâng cao có toàn bộ kho, thu hẹp theo ngôn ngữ, độ khó và thời lượng.

Mở bộ lọc nâng cao

Nhận issue mới trong hộp thư của bạn

Bản tóm tắt ngắn những issue GitHub phù hợp với người mới.