アリアルさんが排中律と二重否定除去の同値性を示す動画！【合成音声】アリアル : Voiced by https://CoeFont.cloud【使用素材】解説枠　浅井麻 様 (@asaiasa0)BGM　OY...

たすかる アリアルさん(ｶﾜｲｲ∨ｶﾜｲｸﾅｲ)↔︎(ｶﾜｲｸﾅｸﾅｲ→ｶﾜｲｲ)ﾔｯﾀｰ! やっぱりタクティクでやるのか〜 難しかったやつだ 証明ゲーム…人狼みたいなんやろなあ(棒) あっこれ専用IDEじゃなくてVSCodeなのか、モダンだあ おつ...

定理証明支援系Leanの最新版（Lean 4）のインストール手順を説明した動画です。流れ：VS Codeをインストールして、その拡張機能からlean 4をインストールすれば（ほぼ）...

飛んできた rfl 今見てきたけどleanとC++みたいだね 良いぞー Lean良いよね haskellみたいだった ゆかlean ちゃんとプライベートリポジトリにバックアップするやで・・・（n敗 なんなら紙に書いてたからな（パンチカードは編集しづら...

Want to pass your Scrum Lean Portfolio Manager exam in the first try? Download Passcert latest Scrum Lean Portfolio Manager dumps and spend as much time as p...

A stopwatch timer clock sets the time for the exercises during a lean us design workshop　三好多加也

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。前回に引き続き、今回は写像の全射とエピ性の同値を示すよ。一区切りです。初見プレイなので途中ちょっとガバって...

元の型付きラムダ計算では直観主義論理の方と対応するから仕方ない... 草 なるほど うぽつー あぁ おつ うぽつ すげぇ たしかにw そうだね(疑う人間は)粛正だね 食事もある程度管理しないと体弱るゾ このときをまってた やってたぞ。もう忘れたけど ...

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射とモノ性の同値を示すよ。前回：sm40469814次回：sm40779784お借りした素材解説枠：blueberry様　...

数学の定理、表すことが多くて名前つけるの難しくない...?(プログラマ感) 案外コマンドの意味しらなくても、何やってるかはわかるものですね おつ うぽつ おつ 自明かな ひwどwいwwwww うぽつ きりりーん そうだね、粛清だねｗ ゆー、じゃなくて...

きりたんが数学の定理証明ゲームLeanで遊ぶ動画です。今回は写像の単射や全射で遊ぶよ。ゆかあかLeanプレイ解説講座：sm40432561自由群を作るゆかりさん：https://youtu...

ムスカ大佐の気持ち VSCodeのフォントファミリーと拡張機能のおかげで文字の違和感が消えている・・・ 証明モードを使わない書き方、カリーハワード同型対応みが感じられて好きだけど読みづらいから好きじゃない 解説2回まで見たけどさっぱり きりもいいたん...

数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。第2回は「rw」コマンド・Leanでの自然数や足し算の定義について。Natural Number Gameは↓のUR...

Lean上では定義というより、得体の知れない2変数関数にいくつか公理が与えられてる感じなのかな？ はえー 続き待ってる うぽつ aと0は書かなくてもいいんやな いい動画だった なんとなくノリが分かってきた ここすごいな この動画見てずっと遊んでる ...

数学の定理証明ゲームLeanの遊び方を初心者向けに解説していくプレイ動画。第1回はLeanやNatural Number Gameの解説、「refl」コマンドについて。Natural Number Gameは...

WhiteSpaceと同時に書けそう 日本語で数学やるやつおらんから無問題 ←そんなやつはじめから学会にはおらんｗ 強すぎｗｗｗ     refl     , うp主経験者？ つよ 乗法の定義にもよるが、帰納法か？ すごいな ・・・これ薬学...

The Six Sigma White Belt Certification is the first step on the road towards your Six Sigma Green, Black and Master Black Belt Certification.Passcert provide...

Want to pass your Six Sigma LSSGB exam in the first try? Download Passcert latest Six Sigma Green Belt Certification LSSGB dumps and spend as much time as po...

ライブです。みなさんはサマソニ楽しんできてください・・・CDはいつ出るやら？？

ギターの音がなんか好き アルバムはどうなったのだろうか‥ パンダ映してあげてｗ 早く日...

around the world

5こめ gunなんや。あぁ～ね。 ええやん 2コメ 1こめ

「ミスタービッグの最高傑作Lean Into Itを全曲カバーチャレンジ」今回は一曲目のDaddy, Brother, Lover, Little Boy (The Electric Drill Song)を弾いてみました。 Le...

MR.BIGの超名曲弾いてみました！是非聞いてください！(^_^)vとりあえず最後まで聞いてください！コピーしたい方は、わかりやすいとおもいます！出だしは、自己流です！(...

ちょんぼ!(^^;) good アザース!(^_-) 音が最高!!! nice 少しリッチーコッツェンを、意識してます!(^^;)