Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

lean-ja/lean-by-example

Se connecter pour suivre Voir sur GitHub

コード例で学ぶ Lean 言語

lean-ja/lean-by-example est-il accessible aux débutants ?

Nous avons vu trop peu de pull requests récentes de contributeurs externes sur lean-ja/lean-by-example pour dire à quelle fréquence elles sont fusionnées. 12 issues accessibles aux débutants sont ouvertes en ce moment.

Étoiles
190
Forks
16
Issues débutants ouvertes
12
Issues indexées
584
Langage dominant
Lean
Licence
Aucune donnée de licence
Dernier push GitHub
15/9/2026
Dernière indexation
20/9/2026
Guide de contribution
Aucun code de conduite
Labels débutants
Aucun label débutant indexé
Aucune PR mergée en 30 j

Comment contribuer à lean-ja/lean-by-example

  1. Lisez d'abord le guide de contribution : il explique comment les mainteneurs veulent que les changements soient proposés, testés et relus.
  2. Le projet fournit un dev container : ouvrez-le dans Codespaces pour obtenir un environnement fonctionnel dans votre navigateur.
  3. Choisissez l'une des 12 issues ouvertes accessibles aux débutants ci-dessous et indiquez en commentaire que vous voulez la prendre avant de commencer.
Accessible aux débutants Tout
Ouverte Toutes

Les issues sur lesquelles quelqu’un travaille peut-être déjà sont listées en dernier. Tout trier par date

  • 「無名コンストラクタは入れ子になっていても使用できる」は誤り
    Ouverte
    • Quelque chose ne va pas ?
    バグ・誤り・不備

    Difficulté 2/5 1-3 heures Accessibilité débutants 65/100

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

  • FBIP を提案したのは Lean の論文ではない
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 2/5 1-3 heures Accessibilité débutants 52/100

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

  • macro_inline は instance に付けても良い
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

    lean-ja/lean-by-example#2639 · 1 commentaire ·

  • PowerShell の、履歴に基づくサジェストの有効化はいらない
    Ouverte
    • Quelque chose ne va pas ?
    バグ・誤り・不備 優先度たかし

    Difficulté 1/5 Moins d'une heure Accessibilité débutants 72/100

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

  • subset sum 問題の例
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

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

  • Updates available but manual intervention required
    Ouverte
    • Quelque chose ne va pas ?
    auto-update-lean-fail

    Difficulté 4/5 3-5 jours Accessibilité débutants 48/100

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

  • linear でない使用を検知して警告を出す
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

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

  • mkNullNode を使ってコマンドの配列からマクロ生成をする
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

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

  • grind funCC の使い方
    Ouverte
    • Quelque chose ne va pas ?
    優先度たかし

    Difficulté 4/5 3-5 jours Accessibilité débutants 48/100

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

  • Lean開発者へのインタビュー
    Ouverte
    • Quelque chose ne va pas ?
    資料・教材

    Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

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

  • print ボタンを無効にするか、あるいはPDF版をダウンロードするボタンにする
    Ouverte
    • Quelque chose ne va pas ?
    バグ・誤り・不備

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

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

  • タクティク早見表を独立させる
    Ouverte
    • Quelque chose ne va pas ?
    バグ・誤り・不備

    Difficulté 2/5 1-3 heures Accessibilité débutants 45/100

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

  • recall コマンドを紹介する
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 2/5 1-3 heures Accessibilité débutants 65/100

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

  • method_specs 属性を紹介する
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 3/5 1-2 jours Accessibilité débutants 25/100

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

  • Leanの予約語についてのブログ記事
    Ouverte
    • Quelque chose ne va pas ?
    資料・教材

    Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

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

  • xs : List α から n 個取り出す組み合わせを全列挙する
    Ouverte
    • Quelque chose ne va pas ?
    付録アイデア

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100

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

  • n の分割を全列挙する
    Ouverte
    • Quelque chose ne va pas ?
    付録アイデア

    Difficulté 3/5 1-2 jours Accessibilité débutants 55/100

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

  • CLRS Textbook
    Ouverte
    • Quelque chose ne va pas ?
    資料・教材

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 20/100

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

  • List.product には csimp がある
    Ouverte
    • Quelque chose ne va pas ?
    要調査

    Difficulté 4/5 3-5 jours Accessibilité débutants 38/100

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

  • Type上の関数を作る例: asList
    Ouverte
    • Quelque chose ne va pas ?
    優先度たかし

    Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

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

  • 有限集合上の自己単射は全射
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 2/5 1-3 heures Accessibilité débutants 45/100

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

  • InfoTreeを紹介する
    Ouverte
    • Quelque chose ne va pas ?
    優先度たかし

    Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

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

  • leo によるスライド資料
    Ouverte
    • Quelque chose ne va pas ?
    資料・教材

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

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

  • Enum Handler
    Ouverte
    • Quelque chose ne va pas ?
    付録アイデア

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

  • 不要な skill を削除する
    Ouverte
    • Quelque chose ne va pas ?
    優先度たかし

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

  • `lia` タクティクを紹介する
    Ouverte
    • Quelque chose ne va pas ?
    優先度たかし

    Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

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

  • `omega` ではなくて `lia` を使うよう促すべき？
    Ouverte
    • Quelque chose ne va pas ?
    Zulipで質問すべき Zulipで質問済 バグ・誤り・不備

    Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

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

  • FBIPに関する一意性チェックの論文
    Ouverte
    • Quelque chose ne va pas ?
    資料・教材

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

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

  • 整数係数多項式について
    Ouverte
    • Quelque chose ne va pas ?
    資料・教材

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

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

  • exists 記号をマクロで出す時の注意点
    Ouverte
    • Quelque chose ne va pas ?

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

  • ナップサック問題に対する全探索アルゴリズムを実装し、それが最適解を常に返すことを証明する
    Ouverte
    • Quelque chose ne va pas ?
    付録アイデア

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 45/100

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

  • 接頭辞付きの数値
    Ouverte
    • Quelque chose ne va pas ?
    付録アイデア

    Difficulté 3/5 1-2 jours Accessibilité débutants 55/100

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

  • `#time` コマンドが遅いように見えることを注意する
    Ouverte
    • Quelque chose ne va pas ?
    バグ・誤り・不備

    Difficulté 2/5 1-3 heures Accessibilité débutants 68/100

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

  • loogle CLIをLLMに使用させたい
    Ouverte
    • Quelque chose ne va pas ?
    Zulipで質問すべき

    Difficulté 3/5 1-2 jours Accessibilité débutants 55/100

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

  • 置換の実装
    Ouverte
    • Quelque chose ne va pas ?
    付録アイデア

    Difficulté 4/5 3-5 jours Accessibilité débutants 48/100

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

  • 生文字列リテラルの説明が間違っているかも
    Ouverte
    • Quelque chose ne va pas ?
    バグ・誤り・不備

    Difficulté 2/5 1-3 heures Accessibilité débutants 35/100

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

  • インデントを自動的に除去する生文字列リテラル
    Ouverte
    • Quelque chose ne va pas ?
    メタプログラミング 付録アイデア 構文・パーサ

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

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

  • #guard_panic コマンドがある
    Ouverte
    • Quelque chose ne va pas ?
    要調査

    Difficulté 2/5 1-3 heures Accessibilité débutants 45/100

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

  • without_expected_type という項構文がある
    Ouverte
    • Quelque chose ne va pas ?
    構文・パーサ 要調査

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

    lean-ja/lean-by-example#2589 · 1 commentaire ·

  • public import 等と書かれている部分に hober したらドキュメントを表示する
    Ouverte
    • Quelque chose ne va pas ?
    Zulipで質問すべき

    Difficulté 4/5 3-5 jours Accessibilité débutants 25/100

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

  • #eval は式の評価だけをするわけではない
    Ouverte
    • Quelque chose ne va pas ?
    バグ・誤り・不備

    Difficulté 2/5 1-3 heures Accessibilité débutants 55/100

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

  • deprecated package
    Ouverte
    • Quelque chose ne va pas ?
    Zulipで質問すべき

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

  • `Format` を紹介する
    Ouverte
    • Quelque chose ne va pas ?
    データ型 優先度たかし

    Difficulté 2/5 1-3 heures Accessibilité débutants 68/100

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

  • `import Module` の `Module` に hover したときに docstring を見せる
    Ouverte
    • Quelque chose ne va pas ?
    Zulipで質問すべき

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

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

  • LeanにはHaskellのSTM相当のものがない
    Ouverte
    • Quelque chose ne va pas ?
    メモ

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 25/100

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

  • 山本さんの関数型プログラミングについてのスライド
    Ouverte
    • Quelque chose ne va pas ?
    資料・教材

    Difficulté 3/5 1-2 jours Accessibilité débutants 35/100

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

  • Haskellについての山本さんのスライド
    Ouverte
    • Quelque chose ne va pas ?
    資料・教材

    Difficulté 3/5 1-2 jours Accessibilité débutants 45/100

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

  • ナップサック問題
    Ouverte
    • Quelque chose ne va pas ?
    付録アイデア

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 35/100

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

  • leanDuction: nested inductive type
    Ouverte
    • Quelque chose ne va pas ?
    メモ 資料・教材

    Difficulté 4/5 3-5 jours Accessibilité débutants 35/100

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

  • for ループや while ループに対する intrinsic な不変条件の構文について
    Ouverte
    • Quelque chose ne va pas ?
    Zulipで質問すべき Zulipで質問済

    Difficulté 5/5 Plus d'une semaine Accessibilité débutants 30/100

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

Affichage des 100 plus récents

Cette page ne liste que les entrées les plus récentes. Le filtre avancé contient l'inventaire complet, affiné par langage, difficulté et durée.

Ouvrir le filtre avancé

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.