lean-ja/lean-by-example
コード例で学ぶ Lean 言語
lean-ja/lean-by-example è adatto ai principianti?
Abbiamo visto troppo poche pull request recenti di contributori esterni su lean-ja/lean-by-example per dire quanto spesso vengono accettate. In questo momento sono aperte 11 issue adatte ai principianti.
- Stelle
- 190
- Fork
- 16
- Issue aperte per principianti
- 11
- Issue indicizzate
- 584
- Lingua principale
- Lean
- Licenza
- Nessun dato sulla licenza
- Ultimo push su GitHub
- 15/9/2026
- Ultima indicizzazione
- 20/9/2026
- Guida per i contributori
- Guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- Nessuna label per principianti indicizzata
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Come contribuire a lean-ja/lean-by-example
- Leggi prima la guida per contribuire: spiega come i maintainer vogliono che le modifiche siano proposte, testate e revisionate.
- Il progetto include un dev container: aprilo in Codespaces per avere un ambiente funzionante nel browser.
- Scegli una delle 11 issue aperte adatte ai principianti qui sotto e, prima di iniziare, scrivi in un commento che vuoi occupartene.
Le issue su cui forse qualcuno sta già lavorando sono in fondo alla lista. Ordina tutto per data
-
バグ・誤り・不備
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
lean-ja/lean-by-example#2641 ·
-
FBIP を提案したのは Lean の論文ではないAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 52/100
lean-ja/lean-by-example#2640 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
lean-ja/lean-by-example#2639 · 1 commento ·
-
バグ・誤り・不備 優先度たかし
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 72/100
lean-ja/lean-by-example#2638 ·
-
subset sum 問題の例Aperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
lean-ja/lean-by-example#2637 ·
-
auto-update-lean-fail
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
lean-ja/lean-by-example#2636 ·
-
linear でない使用を検知して警告を出すAperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
lean-ja/lean-by-example#2633 ·
-
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
lean-ja/lean-by-example#2631 ·
-
grind funCC の使い方Aperta優先度たかし
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
lean-ja/lean-by-example#2630 ·
-
Lean開発者へのインタビューAperta資料・教材
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
lean-ja/lean-by-example#2626 ·
-
バグ・誤り・不備
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lean-ja/lean-by-example#2625 ·
-
タクティク早見表を独立させるApertaバグ・誤り・不備
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
lean-ja/lean-by-example#2624 ·
-
recall コマンドを紹介するAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 65/100
lean-ja/lean-by-example#2622 ·
-
method_specs 属性を紹介するAperta
Difficoltà 3/5 1-2 giorni Idoneità per principianti 25/100
lean-ja/lean-by-example#2620 ·
-
Leanの予約語についてのブログ記事Aperta資料・教材
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
lean-ja/lean-by-example#2617 ·
-
付録アイデア
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
lean-ja/lean-by-example#2616 ·
-
n の分割を全列挙するAperta付録アイデア
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
lean-ja/lean-by-example#2615 ·
-
CLRS TextbookAperta資料・教材
Difficoltà 5/5 Più di una settimana Idoneità per principianti 20/100
lean-ja/lean-by-example#2614 ·
-
List.product には csimp があるAperta要調査
Difficoltà 4/5 3-5 giorni Idoneità per principianti 38/100
lean-ja/lean-by-example#2613 ·
-
Type上の関数を作る例: asListAperta優先度たかし
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
lean-ja/lean-by-example#2612 ·
-
有限集合上の自己単射は全射Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
lean-ja/lean-by-example#2611 ·
-
InfoTreeを紹介するAperta優先度たかし
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
lean-ja/lean-by-example#2610 ·
-
leo によるスライド資料Aperta資料・教材
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lean-ja/lean-by-example#2609 ·
-
Enum HandlerAperta付録アイデア
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
lean-ja/lean-by-example#2608 ·
-
不要な skill を削除するAperta優先度たかし
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
lean-ja/lean-by-example#2607 ·
-
`lia` タクティクを紹介するAperta優先度たかし
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
lean-ja/lean-by-example#2606 ·
-
Zulipで質問すべき Zulipで質問済 バグ・誤り・不備
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
lean-ja/lean-by-example#2603 ·
-
FBIPに関する一意性チェックの論文Aperta資料・教材
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lean-ja/lean-by-example#2602 ·
-
整数係数多項式についてAperta資料・教材
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lean-ja/lean-by-example#2601 ·
-
exists 記号をマクロで出す時の注意点Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
lean-ja/lean-by-example#2599 ·
-
付録アイデア
Difficoltà 5/5 Più di una settimana Idoneità per principianti 45/100
lean-ja/lean-by-example#2597 ·
-
接頭辞付きの数値Aperta付録アイデア
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
lean-ja/lean-by-example#2596 ·
-
`#time` コマンドが遅いように見えることを注意するApertaバグ・誤り・不備
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
lean-ja/lean-by-example#2595 ·
-
loogle CLIをLLMに使用させたいApertaZulipで質問すべき
Difficoltà 3/5 1-2 giorni Idoneità per principianti 55/100
lean-ja/lean-by-example#2594 ·
-
置換の実装Aperta付録アイデア
Difficoltà 4/5 3-5 giorni Idoneità per principianti 48/100
lean-ja/lean-by-example#2593 ·
-
生文字列リテラルの説明が間違っているかもApertaバグ・誤り・不備
Difficoltà 2/5 1-3 ore Idoneità per principianti 35/100
lean-ja/lean-by-example#2592 ·
-
インデントを自動的に除去する生文字列リテラルApertaメタプログラミング 付録アイデア 構文・パーサ
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lean-ja/lean-by-example#2591 ·
-
#guard_panic コマンドがあるAperta要調査
Difficoltà 2/5 1-3 ore Idoneità per principianti 45/100
lean-ja/lean-by-example#2590 ·
-
構文・パーサ 要調査
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
lean-ja/lean-by-example#2589 · 1 commento ·
-
Zulipで質問すべき
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
lean-ja/lean-by-example#2588 ·
-
#eval は式の評価だけをするわけではないApertaバグ・誤り・不備
Difficoltà 2/5 1-3 ore Idoneità per principianti 55/100
lean-ja/lean-by-example#2587 ·
-
deprecated packageApertaZulipで質問すべき
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
lean-ja/lean-by-example#2586 ·
-
`Format` を紹介するApertaデータ型 優先度たかし
Difficoltà 2/5 1-3 ore Idoneità per principianti 68/100
lean-ja/lean-by-example#2585 ·
-
Zulipで質問すべき
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lean-ja/lean-by-example#2584 ·
-
LeanにはHaskellのSTM相当のものがないApertaメモ
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
lean-ja/lean-by-example#2583 ·
-
山本さんの関数型プログラミングについてのスライドAperta資料・教材
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
lean-ja/lean-by-example#2582 ·
-
Haskellについての山本さんのスライドAperta資料・教材
Difficoltà 3/5 1-2 giorni Idoneità per principianti 45/100
lean-ja/lean-by-example#2581 ·
-
ナップサック問題Aperta付録アイデア
Difficoltà 5/5 Più di una settimana Idoneità per principianti 35/100
lean-ja/lean-by-example#2577 ·
-
メモ 資料・教材
Difficoltà 4/5 3-5 giorni Idoneità per principianti 35/100
lean-ja/lean-by-example#2576 ·
-
Zulipで質問すべき Zulipで質問済
Difficoltà 5/5 Più di una settimana Idoneità per principianti 30/100
lean-ja/lean-by-example#2575 ·
Vengono mostrati i 100 più recenti
Questa pagina elenca solo ciò che è stato indicizzato di recente. Il filtro avanzato contiene l'inventario completo, ristretto per linguaggio, difficoltà e durata.