Graphillion: 数え上げおねえさんを救え / Don't count naively
ฝัง
- เผยแพร่เมื่อ 6 ก.ย. 2024
- Graphillion は膨大な数のグラフに対して検索や最適化、列挙を行うための Python モジュールです。このビデオは Graphillion の概要を知るためのチュートリアルです。「フカシギの数え方」 • 『フカシギの数え方』 おねえさんといっしょ!... の続編として作成されました。
Graphillion is a Python software package on search, optimization, and enumeration for a very large set of graphs. This video is a quick tutorial to learn what Graphillion is. The story follows our previous episode, "Let's count!" • 『フカシギの数え方』 おねえさんといっしょ!... .
[関連リンク/Related Link]
Graphillion : graphillion.org
ERATO湊離散構造処理系プロジェクト : www-erato.ist.h...
ERATO Minato Discrete Structure Manipulation System Project : www-erato.ist.h...
「あ、なんか出てるね」
再現度高くて草
「あ、なんか出てるね」ってちゃんと言ってるの好き
どぴゅっ!
Twitterで見た
スパコン「あれから 25 万年がたった……」
→富岳「あれから 3 ヶ月がたった……」
ってやつすき
単にゆっくりボイスを使ってるだけじゃなくて、言い回しや口調もニコニコっぽいの好き
そう言っときゃそれっぽく聞こえるからしゃあない
実際百人近くがよく分からんけど分かるような気がしてグッド押しとる
ワイも押した
できるよ
わっしょいわっしょい
唐突な加速とかここら辺
@綾小路清隆 よう実民発見
なんとなくわかる気がする
線対称の経路ができることを知ってたら半分の12万5000年で済んだのに....。
idainarukyuuseishu いやなげーなww
idainarukyuuseishu かなり短縮できてるけどとんでもなく長くて草
半分短縮出来たけど...う~ん
それだけの時間あれば
新しい定理発見して
短縮出来そうやけどな…
それと直角に交わる対称の軸でも線対称ができるから6万2500年で済む
数えるおねえさん逆に自分の存在意義に疑問もって泣いてそう
伊藤ひで グラフィリオンのユーズに気づかせてくれた功績は大きい笑
いい人だったよ…うん…
おねえさん「さぁ、次は9987×9987よ」
最速スパコン&最新アルゴリズム「もう勘弁してクレメンス・・・」←泣くほう
個人でやってる系のチャンネルかと思ったら滅茶苦茶真面目なチャンネルで草
これを作り出したのも人間なんだよな...人間すげぇ....
JSTがなぜゆっくりボイス使うw
さらに「わっしょい」w
まさかのJST公式
おねぇさんの子孫はいないのね・・・(涙)
いたとしてもこんなイカれた事を継ぐとは思えん
国連を脱退した先輩。 わからない人のために書いときますね()
つまりお姉さんはSEXする時間が無かったってゆーこと
-ちもぴよ 腐ってるのか、、、
@国連を脱退した先輩。 その分じゃおかしくなっているので She had no times to take fuck の方が良い。sexって海外じゃセックスより性別って意味で使われるからfuckの方がいいよ。
@@ch-kh4id 先輩さんの文だとそうは略せませんね。日本人には通じますが海外では先輩さん英語は通じませんね。
高校生のときこれ見て離散数学に興味持った。おねえさんは命の恩人。
イイハナシダナー
あっこれなんかの公式なのかw
個人だと思っていたわ
けもフレ愛者 個人制作感すごいよねw
黒い影 (いい意味で)
ゆっくりしていってね!
を使っているから個人制作感がパナイ
公式を使って計算してるんじゃなくて、アルゴリズムで効率的に計算しているだけ
@@naiChaSanJieMeid
そっちの公式じゃないんだよな〜
(ネタ?ならすまん)
お姉さんがこれ知っててもどうせやめないから16×16くらいで同じことなりそう
25万年の間に何が起きたんだ…
まさかのゆっくりボイスwwwwwww
pip install graphillion networkx ですぐにインストールできて試せました。なんだかすごい!
昨日,おねえさんの本(「超高速グラフ列挙アルゴリズム」森北出版)買ったよ。
オレは,でかいグラフの効率的な格納法(メモリ節約)に興味があるんだが,役立つかな?
この動画JST公式が出してるんだよね…
まぁあのアニメを造れるってことは、何かしら方法があったのは確かだもんね。
isobe hirohito ???「今の最先端アルゴリズム技術を使うと…」
マジ?12万年前にできたアニメかと思ってたわ…
親愛なる隣人 あ、12万年前に作った気がするわあのアニメ
@@Daikon.mp3 12万年前にアニメ作った兄貴は成仏して
万丈数壱 あの頃はアノマロカリスと仲が良かった
宝箱の画像がチョコットランド
これだけは言っておきたかった
小学生低学年の頃にこれ見て人生が変わったと本気で思ってます
お姉さんに教えてあげなくっちゃwww
おねえさんの続きでしかも本家か!!!
「なんか出てるね」
好き
まさかのゆっくりww
むしろ親近感が湧くわw
ちゃんとゆっくりらしい口調で作ってるから、公式だって言われるまで気づかなかったわ笑
科学技術振興機構がゆっくり動画を上げるのすごい現代を感じるけどこれでも11年前なんだよね
BGM 柴田リズム思い出しました
ハイテク技術でお姉さんを救うRTA、はっじまっるよー
ガバがないやり直し
チョコットランドの金の宝箱に釣られて来たけど、同じように反応している人がいて安心した
Thank you for the demo, it is very impressive! The English subtitles are much appreciated.
なんだよ…続きがあったんのか
続きがあったのか…
お姉さん良かったね
この計算結果が正しいかどうかってどうやって検証するの?
この人すげえな
国立の研究機関なんだよなぁ…
感動しました!そしたら逆に、Graphillionを使っても25万年かかるn×nはいくつなのでしょうか?999×999くらいでしょうか? また、平面だけではなく、ジャングルジムみたいな立体型(7×7×7など)にしたらどうなるかも知りたいです。
おねえさんエンター押すだけやんなんて言えない
こんな続きあるとは知らんかった‥
ゆっくりボイスでビビるわ
よし、これで巡回セールスマン問題を解こう(無理)
JSTがゆっくりボイスを使うのはシュール過ぎるw
まあお姉さんは早く終わったら次の計算を始めるだけだから意味ないよね
いや個人でやってるチャンネルちゃうんかいw
でもお姉さんはアルゴリズム使っても、どうせ数100年かかるところまで数増やすからなぁ
お姉さんに教えてあげよう
シリーズ化されてたのか!
これ確か中におねえさんが7×10^100000000人ぐらい入ってるんだよね
好き
宝箱がチョコットランドのだ!
これがパイソンの力か
すごすぎ
パイソンというかアルゴリズムの凄さ
@@ykkap7222 こーゆー計算ってパイソンが1番なんですか?
@@I_am_a_Vampire (1年前のコメに返信)Python自体はかなり計算遅いけど、Pythonから利用できる計算ライブラリ(Numpyとか)が優れてる
Graphillionの本当の目的はたぶん、2:13以降にある。
10✖️10手書きで数え始めて7年、まだ終わりません!
もし本当にやってるとしたらこの人の遺稿がいつか芸術作品になりそう
なんかすごい
宝箱のイラスト、チョコランの金箱
立方体でやってくれ(無理)
りーんりーん できないことはない
絶望過ぎて草
数学苦手だからよく分かんないんだけど
2×2の時の答え(12通り)や3×3の時や4×4の時の答えとかから
間に入る同一の公式が分かれば(これを「アルゴリズム」というのか…?)
更に100×100とかの答えも簡単に導き出せるって事なのかな?
そういうことですね。
多分公式なんてないと思う。斜めに半分に切って線対称を使って数える数を半分にしたり、いろいろなアイデアをプログラミングしていると思う。それでも100✖️100は数が膨大過ぎて数えられないと思う。
後半もはやおねえさん関係ない
これ6年前なんだ・・・すごいね
宝箱の画像がチョコットランド
宝箱がチョコットランド
ここまで来ると理数系の「学術」って感じになっちゃうわ。文系博士の私にはよう分かんない。
EmperorChiCheung わからねえだろうな
青木拓海 比較することじゃないのはわかってるけど、文系博士取れるってめちゃくちゃすごいような…
文系の博士課程って、著名な研究者でも単位取得退学の人多いですよね
pythonで.len()の結果が帰ってくるのにここまで時間かかるってことからことの膨大さをさらに感じる。。。
ホントに合ってるのかな?
どうだろね
数えてみようか(ニッコリ)
aokawa ii あれから25万年後
そういう考え方は大事
チョコランの宝箱でわらった
チョコットランドの宝箱だ
個人制作だと思いました
今現在の人多くない!?
2019年11/12(火)
ワッショイ ワッショイ
これ公式なんかよ!
製作してる人ネタちと古くないです!?
ニコニコから
コンピュータの計算で時間がかかるのがいまいち理解できない…
公式だったとは…
大学のオープンキャンパスで似たの見たなぁ
こんなところでゲリリズムが聴けるとは
おねえさん...
最初 0:55
え、続編?w
2:38 !?
なんかオススメでてきたんだがww
みんなもそうだよね?
ね?
どういうアルゴリズムを使っているのか知りたいです。
少し調べたところ「「フカシギの数え方」― 組合せ爆発に立ち向かう最先端アルゴリズム技術」というタイトルでPDFがグーグルに転がっていました。
リンクは載せたいですがTH-camが許してくれないのでタイトルだけで十分だと願いたいです。リンク検閲機能無くして欲しい。
どうでも良いけど宝箱がチョコットランド
計算機か
続編あったんかw
正 気 の 沙 汰 じ ゃ な い 。
Python
この動画お姉さんに対する煽り以外何物でもなくて草
作画ゲシュタルト崩壊
おれはお姉さんのA地点とB地点をたどるよ
しばたリズムゥ~~
理解したいのに脳が拒絶反応起こしてるorz
windows環境なのか…(困惑)
Linuxかと思った
お姉さんがヒィヒィ言ってるよ
草生える
Pythonくせに早くなぁい?
抜けないか❗TH-cam
思ったより全然面白くなかった