けものフレンズBBS NEO

学生フレンズ集まれ!~ジャパリ学園~

4107 コメント
views

学生フレンズの日記要素やら二次創作やら勉強やらゲームやらなんでもどうぞ!
けものフレンズとかirodoriとかが好きなフレンズたちでまったり語らいましょう!
しかし卒業生が増えてきたね、閉園も近いかもしれないね。by学園長
私立ジャパリ学園 校歌(リメイク)
私立ジャパリ学園校歌

アデリーペンギン
作成: 2018/01/21 (日) 15:15:32
最終更新: 2021/04/08 (木) 00:36:43
通報 ...
1808
名無しのフレンズ 2018/04/01 (日) 09:59:03 3dc02@71308

私も学生よ
13年も留年しちゃってねー

1809
たべないでください⁽˙³˙⁾◟( ˘•ω•˘ )◞⁽˙³˙⁾ 2018/04/01 (日) 10:14:06

まほうつかいです

1810
Chromeに嫌われた男 2018/04/01 (日) 10:15:56 修正

ザクとうふさんです

1811
アデリーペンギン 2018/04/01 (日) 10:16:51

実は私の動画1万再生いったことあるんですよ

1812
クモハ223-2046 2018/04/01 (日) 10:19:15

実はJR東日本のエリアに住んでます

1813
ひねもす 2018/04/01 (日) 11:06:08

この文は偽である

1814
たべないでください⁽˙³˙⁾◟( ˘•ω•˘ )◞⁽˙³˙⁾ 2018/04/01 (日) 11:38:49 >> 1813

誤った二分法なる概念を世の中に広めたいという欲求を思い出した。

1815
ひねもす 2018/04/01 (日) 11:55:04 修正 >> 1814

ふふ、仮面(アイコン)を変えても性(さが)は変えられませんね。
折角ですのでこちらで熱弁どうぞ!

1819
たべないでください⁽˙³˙⁾◟( ˘•ω•˘ )◞⁽˙³˙⁾ 2018/04/01 (日) 12:10:27 >> 1813

中高生御用達と信じているわかりやすいサイト。
嘘つきのパラドックス、または自己言及のパラドックスは数学においても成り立ちうる。
ゲーデルの不完全性定理という厨二心くすぐる名前である。
数学至上主義ともいえるヒルベルトプログラムを打ち破ったというのも厨二心くすぐられるのである。

不完全性定理 - 哲学的な何か、あと科学とか
noexit

1830

>> 1819
このサイトの補足のところに完全に同意です。
そもそも、不完全性定理は完全性定理の前提になりたっています。つまり、論理学は無矛盾です。
無矛盾な論理学を使って、数学というものをメタ的に見たときに、無矛盾な体系は作れないというのがいわゆる不完全性定理です。
その前提なしで話を進めるので、わけわからない事になるのです。

こちらの書籍がお勧めです。
不完全性定理以外の話が多いですか、それ含めて面白いです。
良ければどうぞ。

無限論の教室 (講談社現代新書 1420) | 野矢 茂樹 |本 | 通販 | Amazon
Amazonで野矢 茂樹の無限論の教室 (講談社現代新書 1420)。アマゾンならポイント還元本が多数。野矢 茂樹作品ほか、お急ぎ便対象商品は当日お届けも可能。また無限論の教室 (講談社現代新書 1420)もアマゾン配送商品なら通常配送無料。
Amazon

1844
名無しのフレンズ 2018/04/01 (日) 15:47:39 df5cd@cb22a >> 1819

[無恥の知]
恥ずかしいという概念を捨て去ることを知っていれば、
どんなことでも出来る。

1831
ひねもす 2018/04/01 (日) 14:14:57 >> 1813

僕自身は論理より感覚で動くタイプの人間なので、
実をいうと論理学は得意じゃないんですよね。
完全性と健全性の違いとかなかなかややこしい。
>> 1830読んでみようかな。

1833

この書籍の著者は哲学者なので、数学少なめで感覚的に説明してるところが多いです。
話も主人公と謎のヒロインが大学の先生と無限に関する講義を受けるというストーリー仕立てで読みやすいです。

1834
たべないでください⁽˙³˙⁾◟( ˘•ω•˘ )◞⁽˙³˙⁾ 2018/04/01 (日) 14:29:29 >> 1831

ノヤゲンシュタインこと野矢茂樹氏の本はどれも面白くてわかりやすいです。
論理トレーニングの本も勉強になりますよ。
ヴィトゲンシュタインの本もわかりやすい訳で、しかも解説書まで出しています。
オススメです!!
講演会を聞いてますます好きになりました。

1816
アデリーペンギン 2018/04/01 (日) 12:01:56

ペンギンは皆嘘つきである

1817
アデリーペンギン 2018/04/01 (日) 12:03:41 >> 1816

嘘つきの話す言葉は全て嘘であるという前提がないとエピメニデスのパラドックスは成り立たないと思うであります

1818
ひねもす 2018/04/01 (日) 12:09:40 >> 1817

常時ウソをついている状態って
逆に信頼性高いよね。

1820
たべないでください⁽˙³˙⁾◟( ˘•ω•˘ )◞⁽˙³˙⁾ 2018/04/01 (日) 12:12:00 修正 >> 1817

>> 1818
情報エントロピーの話ですね。

今回は常に正しいまたは常に嘘の方が情報量が多いから、一般的な情報量とは少し違うのか…?反対?

1826
ひねもす 2018/04/01 (日) 12:39:55 >> 1817

>> 1820
特に学問は意識していませんでしたが、情報エントロピーの延長でしょうね。
「情報通信理論」って感じで学ぶんでしょうが
情報ではなく電気電子志望で履修しなかったんで詳しくないです。

1821
学生 ~コツパカF~ 2018/04/01 (日) 12:15:57 修正

【修正済】

1822
学生 ~コツパカF~ 2018/04/01 (日) 12:17:41 修正 >> 1821

エイプリルフールって午前中だけって言われているけど、実際どうなんですか?(プロフも変えたからぜひ見てね♪)

1823
たべないでください⁽˙³˙⁾◟( ˘•ω•˘ )◞⁽˙³˙⁾ 2018/04/01 (日) 12:24:09 >> 1822

エイプリルフールの起源が謎だから、午前中がどうとかも謎ですね。
世界中に広まっているイベントの起源が謎とはいったいどういうことなんだろう。
日本では四月馬鹿として大正時代に伝わってようです。
それまでは不義理の日と呼ばれ、エイプリルフールとは反対に、不義理を詫びる日だったようです。

1824
学生 ~コツパカF~ 2018/04/01 (日) 12:29:53 修正 >> 1822

>> 1823
なるほど~
ジャガーさんの情報は為になるなぁ(シロ組さん並感)(通常の意味で為になったほうです。返答ありがとうございます!)

1825

エイプリルフールは昔、嘘ばかり言っていた少年が言い訳として作ったものらしいですよ。それを聞いた大人達は「エイプリルフールを知らないの!?」と馬鹿にされないためにエイプリルフールを知っているフリをし、それが王様の耳まで届き、王様も見栄を張って知っているフリをしたことで、ちゃんとしたイベントとして民衆に広まったそうです。

1827
学生 ~コツパカF~ 2018/04/01 (日) 12:46:03 修正 >> 1822

>> 1825
あれ?その話どこかで聞いたことがあるような...( ゚д゚)ハッ!

1829
学生 ~コツパカF~ 2018/04/01 (日) 13:03:18 >> 1822

プロフで誤解をうみそうな部分があったため修正しました。

1828
たべないでください⁽˙³˙⁾◟( ˘•ω•˘ )◞⁽˙³˙⁾ 2018/04/01 (日) 13:02:15

どうでもいい話
好きなバンドのニコ生ライブを宣伝しておく

1832
ルイちゃん 2018/04/01 (日) 14:18:10

今日は午前中に起きた

1835
頂(キ ・マ・ス)◆jttgGfj/xQ 2018/04/01 (日) 14:34:45

フォートナイト難しいよー

1836
ひねもす 2018/04/01 (日) 14:40:44 >> 1835

どんなゲームだろ?と思って調べてみたら確かに難しそう。
クラフト要素があるシューティングとは珍しい。多分僕はクラフト最中にやられるでしょうね。

1837
頂(キ ・マ・ス)◆jttgGfj/xQ 2018/04/01 (日) 14:45:03 >> 1836

基本無料だからやろうよー

1839
ひねもす 2018/04/01 (日) 14:53:34 >> 1836

人狼はいけるけどシューティングは苦い思い出しかないからいいや~

1840
頂(キ ・マ・ス)◆jttgGfj/xQ 2018/04/01 (日) 15:01:41 >> 1836

ミュートにしてでも見る価値あり
http://www.nicovideo.jp/watch/sm32703330

1850
ひねもす 2018/04/01 (日) 16:57:24 >> 1836

偏差射撃すごすぎ。

1838
頂(キ ・マ・ス)◆jttgGfj/xQ 2018/04/01 (日) 14:47:07 >> 1835

初心者とか関係なくマッチングすくからえげつない
でも裏を返せばやられても観戦すれば上級者のすげープレイが観れる

1864
頂(キ ・マ・ス)◆jttgGfj/xQ 2018/04/01 (日) 17:30:25 >> 1838

もっと流行らせコラ!

1841
クモハ223-2046 2018/04/01 (日) 15:03:27

ふええ理論の話とかもう全然分からんし頭爆発しそう
前に授業で、世の中にはコンピューターには解けない問題の方が多いとかなんとか聞いたような
コンピューターは有限回の試行しかできない(って書いてあった)という事と関係あるのかな
どんどん数を0に近づけていくと、連続した普通の?数学なら極限という概念により「限りなく0に近づく」ということが考えられるし、そう習った(極限の問題は未だに全然できない)
でも、コンピューターはそれができないから、ある一定以下になると0に合わせて切り捨てる(計算機イプシロンだっけ?)から必ず誤差が生じる
同じように、小数は2進数だと循環小数になる場合が多い(0.1(10)=0.00110011...(2))が、やはり循環小数という「無限」を伴う概念はコンピューターには完璧に扱えず、誤差が生じる

if (0.1 + 0.2 == 0.3){
     printf("合ってる\n");
  }else{
     printf("違う\n");
  }

これ実行すると、「違う」って言われるんですよね
小数をフルに表示させたら「0.1 + 0.2 = 0.3000000000000000444089209850」って言われましたし

1843
頂(キ ・マ・ス)◆jttgGfj/xQ 2018/04/01 (日) 15:18:47 >> 1841

コンピューターは無限を無限のまま計算するからじゃないの?

1845
アデリーペンギン 2018/04/01 (日) 16:09:10 >> 1841

型の問題では?
おそらくdecimal型なら誤差は発生しないかと

1848
アデリーペンギン 2018/04/01 (日) 16:24:10 修正 >> 1845

C#ですが

if (0.1 + 0.2 == 0.3){
 Console.WriteLine("合ってる");
}else {
 Console.WriteLine("違う");
}
if ((decimal)0.1 + (decimal)0.2 == (decimal)0.3){
 Console.WriteLine("合ってる");
}else {
 Console.WriteLine("違う");
}

実行結果
違う
合ってる

(decimal)を三回も書かなくても同じ処理ができるようなスムーズな書き方ってあります?(初心者)

1849
アデリーペンギン 2018/04/01 (日) 16:54:17 >> 1845

0.1m + 0.2m == 0.3mという書き方もできるのですね、初めて知りました(自己解決)

1852
クモハ223-2046 2018/04/01 (日) 17:09:01 修正 >> 1845

ワイトはCの事しか知らんから全然分からん!
調べたらdecimal型は内部で10進数で値を保持してるようですね
この誤差は2進数で小数を上手く表せない事に起因しているので確かに10進数で扱えばこの問題は起きませんね
(10進数で保持なんてどうやってやってるんだろ...)

不思議なのがCでもfloatにしたら誤差がなくなるんですよね...

if (0.1 + 0.2 == 0.3){
   printf("合ってる\n");
}else{
  printf("違う\n");
}
if ((float)0.1 + (float)0.2 == (float)0.3){
   printf("合ってる\n");
}else{
   printf("違う\n");
}
//実行結果:
//違う
//合ってる

これの理由がイマイチ分からない...
この誤差は自分の環境で5.5×10-15程度なのでfloatでも普通に入る気がするんですが...

1857
クモハ223-2046 2018/04/01 (日) 17:24:44 >> 1845

float型にキャストしたことにより有効数字が減って結果差がなくなったとかそんなんか...?
じゃあなんでdoubleだと消失が起こらない...?

1868
クモハ223-2046 2018/04/01 (日) 18:03:19 >> 1845

>> 1857
分かったかも
倍精度浮動小数点数の計算機イプシロンは約2-52=2.2×10-16らしい(複数定義があるらしいが分からん)
doubleの有効桁数が15か16らしいので、イプシロンがギリギリ仮数部に入るから「違う」と言われる
しかし、float型は有効桁数が7桁程しかないので、マイナス10乗オーダーの誤差を入れることができず、1.000000×10-1そのものとして扱われるので、「同じ」という扱いになる
という事かも(合ってる保証は全くなし)

1851
ひねもす 2018/04/01 (日) 17:03:17 >> 1841

最近の僕の気になるCPU命令セットRISCVだと
十進の浮動小数点演算が対応する予定らしいんですよね。
浮動小数は非正規表現とか調べると深い。

第505回 オープン規格の新しい命令セットアーキテクチャRISC-V入門 ツールチェインを用意する
2017年には新しい命令セットアーキテクチャである「RISC-V」の話題が盛り上がりました。今回はUbuntu上でRISC-V用のツールチェインをエミュレーターを導入し,実行してみましょう。
gihyo.jp

1860
クモハ223-2046 2018/04/01 (日) 17:26:51 >> 1851

ええ..もうアーキテクチャレベルで10進数を扱う時代ですか...
何かもうコンピュータの発展は凄まじいですね

1842
Chromeに嫌われた男 2018/04/01 (日) 15:05:29

周りの話しで頭為になって焼き豆腐になりそう

1846
削除されました
1847
巨峰・アーリア 2018/04/01 (日) 16:20:22 >> 1846

ワイトもそう思います…

1853
学生 ~コツパカF~ 2018/04/01 (日) 17:10:48

もしかしたらこれからそういうことを学ぶかもしれないのか...自分の将来が心配になってきた...

1855
巨峰・アーリア 2018/04/01 (日) 17:20:11 >> 1853

大丈夫大丈夫ぅ、こういった数学系(?)のことに拘らなくても、普通科でも専門科でもそのうち得意なコトとかやってみたいコト見つかるゆぉ

ソースは俺(不安しかねーじゃねーか)

1862
クモハ223-2046 2018/04/01 (日) 17:28:37 >> 1853

大丈夫、数学とか全然分からんから

1856
ひねもす 2018/04/01 (日) 17:22:24
        「「「「「我ら学園フレンズ電情系!!!」」」」」 

             むさし              ひねもす          
                       A__A 
     /A \      A__A  ◯ ( ´∀` )◯           A A 
    (´∀` ∩    (・∀・ )   \ 赤 /     A A    (*゚ー゚) 
    (つ青  ノ   ⊂  緑 )つ   |  I │     (,,゚Д゚)   ⊂ 桃 つ 
    ヽ  ( ノ    (_⌒ヽ    (_) ノ     / 黒|     0  |~ 
    (_)し'      )ノ `J       ∪   ~OUUつ     `J 
     クモハE223-2046         アデリーペンギン         食べないでください
                       ドバーソ 

抜けがあったらスマーン!

1858

ここに書き込んことあるんですが、学生じゃないんですよね…

1859
ひねもす 2018/04/01 (日) 17:26:48 >> 1858

学生気分ならおK

1866
巨峰・アーリア 2018/04/01 (日) 17:52:03 >> 1858

けものは居てものけものは居ないってそれ1番言われてるから

1861
クモハ223-2046 2018/04/01 (日) 17:28:05 >> 1856

ちゃんと新快速カラーの青色になってる +223点
あとE223になってるの今日限定だからね!

1863
Chromeに嫌われた男 2018/04/01 (日) 17:29:51 >> 1856

ここ見てると眠くなる理由がわかった気がする

1867
ひねもす 2018/04/01 (日) 18:00:21 >> 1856

スマホ版だとずれるのな

1865
頂(キ ・マ・ス)◆jttgGfj/xQ 2018/04/01 (日) 17:31:33 修正
1870
ルイちゃん 2018/04/02 (月) 00:05:20

日記

メモ程度のなにか
画像1

1871
ひねもす 2018/04/02 (月) 00:10:03 >> 1870

これはコード進行…
聞き取ったのか…!

1872
ルイちゃん 2018/04/02 (月) 00:15:00 >> 1871

声優陣が告知している後ろでわずかな音量で流れているのを聞き取るのはきつかったです。
一番最後の「E」忘れてた…

1873
アデリーペンギン 2018/04/02 (月) 00:28:14

日記 好きな曜日は土曜日
・もとのアデリーペンギンドット絵は今は使えないパソコンにありますやんか。しばらくこのアイコンで行きます
・マイクラ楽しいけど定期的に休憩を取らないと酔うのだ
・いつもなら怠惰な自分に自己嫌悪してるであろう一日だったけど、近頃はここの影響か少し前向きな気がする
・ITの知識がぜんぜん足らん!勉強するのだ

1874
学生 ~コツパカF~ 2018/04/02 (月) 02:11:47

日記? (満足度 ★★★★☆)
プロフやらなんやらを、全て戻しました。
今日(昨日)は色々な嘘や誠で楽しむことができました(いつもはつまらないということではありません。)。みなさんありがとうございました!そしてお疲れさまです!
これからも、(イベントなどがなくても)ここを盛り上げていき、末長く続けられるようにしていきましょう!(つまりはこれからもどうかよろしくね...😂)

1875
Chromeに嫌われた男 2018/04/02 (月) 23:02:51 修正

自分でも頭おかしいとおもった

1876
巨峰・アーリア 2018/04/02 (月) 23:04:51 >> 1875

ポプテピピックは昨日で終わりだゾ☆

1877
Chromeに嫌われた男 2018/04/02 (月) 23:07:51 >> 1876

すぐに消すんで許してください!なんでもしますから!

1879
ルイちゃん 2018/04/02 (月) 23:23:20 >> 1876

>> 1877
ん?今何でもするって…

1878
ひねもす 2018/04/02 (月) 23:10:34 修正

春休みまとめ
 思いのほか創作、学業進まなかったなぁ。
読みたかった本は3冊ぐらい読み切ったし、
新しいプログラミング言語は覚えたし、
自作ゲームはエディタが少し進んだからまあよしとしよう。
有意義に過ごさなきゃという気はあんましないけど
早く生まれたがってるアイデア、
学びたい領域が大量にありぎて困る。

ただ一つ分かったことがある、僕はunity苦手や。(DXライブラリもといC言語信奉者)

1880
マー 2018/04/03 (火) 00:19:06 修正

日記
去年からずっと作りかけだった動画を最終回一周年記念として出せた。プロジェクトファイルの日付を見たら作成日が9/26だったので半年ぐらい温めていた事になる。とはいえ動画の趣旨は当時から全くブレてないので(モチベーションとなるものは変わったけど)出せてよかったという感じ。
今なら2本ぐらい動画を仕上げられそうな気分である。今の俺は最強だ
前から作ってる手付けモーショントラッキングはやる気が出ない。俺はだめだ
春休みはあと3日で未だ手付かずの宿題があるらしい。俺はクソザコだ

1881
アデリーペンギン 2018/04/03 (火) 02:09:10

日記
・昨日はとても頭が為になりました🐬
・最近やらねばならぬことが多くて困るのだ
・二時間ぶっ続けで「けもの」の本能読んでますが熱い展開すぎてやばいです
でも疲れたので寝ます
今サーバルキャット①です

1882
ルイちゃん 2018/04/03 (火) 15:48:08

思ったこと

結局校歌どうするよ?

ってね…
歌詞がうまくまとめられない

1885
ひねもす 2018/04/03 (火) 22:16:19 >> 1882

そういえばまだ確定してなかったね。
気長にやりゃあいいさ。
急ぐことはない。