知っておこう
今日は大学生の生活習慣について知っておこう
思ってたよりやばいな
じゃ!
知っておこう
今日は大学生の生活習慣について知っておこう
思ってたよりやばいな
じゃ!
課題しばいて寝てるだけで7月になってしまう
いままで遡ってたけど時間軸と同じ方向にかく
perfectになれないのでその名を冠するperfaitに意志を託す
— ポタージュ (@_2pt) 2020年6月22日
parfaitです
— ポタージュ (@_2pt) 2020年6月22日
自らパーフェクトでないことを主張しています
ディープラーニングと物理学買った いつか読む
— ポタージュ (@_2pt) 2020年6月22日
積読はしているだけで脳に刺激を与えてくれるという研究結果もある
講義動画見てたけどWWDC始まっちゃった
— ポタージュ (@_2pt) 2020年6月22日
WWDCよかったですね
Mac OS Big Surめっちゃ楽しみです
あとiPadOSの手書きがいい感じになるのも
スタバ pic.twitter.com/bTvkBVIh9V
— ポタージュ (@_2pt) 2020年6月24日
いつでもスタバ開店できるのが一人暮らしのいいところ
ここわからん pic.twitter.com/Ah9757MExK
— ポタージュ (@_2pt) 2020年6月25日
こんなんせんでもってベクトルポテンシャル表示してにするのがかしこそう
ディラック記法による線形代数 とかいうの読んだら頭整理されてきた
— ポタージュ (@_2pt) 2020年6月25日
このpdfです http://www.ims.tsukuba.ac.jp/~shugo_suzuki_lab/upload.pdf
豊橋カレーうどんは名古屋めしではないよ
— ポタージュ (@_2pt) 2020年6月25日
豊橋カレーうどんおいしいよ
どんなのかというとカレーうどんの底にとろろの乗ったご飯が入っています
豊橋駅前とかいくとあります
久しぶりに学科の人間に会って感動しちゃった
— ポタージュ (@_2pt) 2020年6月26日
夕方に食堂で飯食ってたら遭遇した
量物ゲロゲロ積分すぎる
— ポタージュ (@_2pt) 2020年6月27日
複素数のガウス積分知らん こうなるという事実は受け入れた
波動関数が例えばガウス関数なら積分できますとかそういう課題
位置とか運動量の期待値を求めろとかそういうのだから計算しなくても答えは見えますけど過程が...
届いた‼️ pic.twitter.com/2TKWiQm32u
— ポタージュ (@_2pt) 2020年6月27日
ロイズ爆買い -7k 自分への誕生日プレゼントも兼ねてた 全部美味いし最高〜
— ポタージュ (@_2pt) 2020年6月27日
焼肉最高〜 これの前に高校同期京大勢で卓球してたら愛知/大阪勢の高校同期入ってきて(普通に会うような面々じゃなかったので)ひっくり返った
中だるみしています。
potagashiさんのAtCoder Beginner Contest 171での成績:912位
— ポタージュ (@_2pt) 2020年6月21日
パフォーマンス:1584相当
レーティング:1017→1094 (+77) :)
Highestを更新しました!#AtCoder #ABC171 https://t.co/UcpbemRPTh
久しぶりに競プロした。Eまで速解き
Cで1WAしたけど感覚的にズレてるところを1引くと合います
場合の数を形式的冪級数の考えで解けるように慣れていきたい
ラズパイの画面届いた(音は出ないっぽい) pic.twitter.com/PilWUBgkQH
— ポタージュ (@_2pt) 2020年6月21日
わるくない そのうち何か作って遊びたい
課題管理用ディスプレイにしてもいいかもね
ロイズ爆買い完了した
— ポタージュ (@_2pt) 2020年6月20日
-7k
届くのが楽しみです
21歳になりました‼️
— ポタージュ (@_2pt) 2020年6月18日
誕生日おめでとう自分
今年の目標は強くなることです
おいしくて強くなりたい www.amazon.co.jp
誕生日プレゼントに炊飯器をいただきました‼️これからお米食べます‼️ pic.twitter.com/iIoXC2wVPu
— ポタージュ (@_2pt) 2020年6月19日
本当にありがとうございます
私の下宿には普通の人の家にあるものがない上に買う気が起きないのでこうやって買っていただけると本当に助かるのです
洗濯機がないので誰か買ってください
コードゴルフ生放送見てたら言語のバグ見つけてた こうやって見つかるのか
— ポタージュ (@_2pt) 2020年6月19日
コードゴルフ勢こわ
半分関係ないけどやってみたかったりちゃんとやったりしたい言語:c++ rust ruby swift kotlin julia perl(raku) bash awk dc matlab octave r
— ポタージュ (@_2pt) 2020年6月18日
CTFerではない...
一瞬+/がなかったのでbase62かと思ったのですが末尾にイコールが入ってるのでbase64ですね
適当にぶち込んでデコードを繰り返すとこのように煽られます は?
急にプロ演しばき始めたけど、平均を山括弧で書く書き方知らん人理解できないんじゃないか?
— ポタージュ (@_2pt) 2020年6月17日
私のコースのプログラミング演習の講義ではアルゴリズムも多少やるけど数値計算寄りで固有値求めるとかガウスの消去法とか微分方程式とかの数値計算をやらされます
そこで出てきたとかは統計物理とかそっち方面で平均の意味で使われる記号なので2回生でそっち系の物理の講義は普通取らないので謎の記号になってしまうよねと思った
数ヶ月に数粒の速度でこんぺいとう食ってるから永遠に減らないように見える
— ポタージュ (@_2pt) 2020年6月15日
うまい
ものによっては高いけど
ゆっくり食べてるのはミルクの金平糖です 2000円しないくらい?
1年待ちとかなってる究極の金平糖予約してるので来年が楽しみです
日記みたいなのつけようとすると知らんうちにやめてしまうけど、こんな感じでツイートみて1週間を振り返る感じでやるのいい気がしてきた。けど課題しばくくらいしかしてないからあまり面白みはない。
多項式で情報保持なるほど...
— ポタージュ (@_2pt) 2020年6月14日
場合の数の調べ方で多項式の次数を数える的なのをみてなるほど〜と思った。詳しくはmaspyさんのブログを見てみよう。
数ベクトル自体で考えると逆になるけど基底自体を持ってきて考えるとその向きになるってことやね
— ポタージュ (@_2pt) 2020年6月14日
基底での座標と、基底での座標を考えると、からへの基底の変換行列には \begin{equation} x=Py \end{equation} の関係があって一見逆じゃね?と思うんだけど、実際には \begin{equation} (f_1 \cdots f_n)=(e_1 \cdots e_n)P \end{equation} になってるからそうだな、ということ。ある同じベクトルにを代入すればわかる。
— ポタージュ (@_2pt) 2020年6月14日
うまい飯を食うという目標を立てたのでピザを頼んでみた。食べ切れなかった分は冷凍してまた今度。
ちゃんと開けて写真撮ったけど光の入り方がわるくてあまり美味しそうにならなかったので載せない。
寝ようとした時に非人道の答え急に閃いた
— ポタージュ (@_2pt) 2020年6月13日
非線形道力学という講義が内容もさることながら課題もけっこうな難易度で出されたりして俗称で非人道的力学とか呼ばれている。それの課題の話。ニューラルネットワークの1つのモデル、ホップフィールドネットワークには非同期更新と同期更新の2種類の更新の仕方があるっぽい?けど、この更新の仕方によって最終的に到達する状態が変わることがある。その例を示せ!という問題。ひらめいて嬉しかったです。(このネットワークはノイズありの画像からノイズを取り除いて元の画像を復元するとかそういうのに使われたりします)
hilbret空間Hよりちっちゃい部分空間とってそっからCへの写像全体考えるともとのHより広くなるらしい
— ポタージュ (@_2pt) 2020年6月13日
量子物理学の講義動画のなかに出てきた。をHilbert空間、、としてとするとの一番右、なんで?
コーティングテスト諦めた
— ポタージュ (@_2pt) 2020年6月12日
某L社のイにノリで申し込んだけど、実装力がまるでなかったです。来年再挑戦?
ホモクリニック錯綜、なにも知らん人が聞いたら何というかパワーワードだな
— ポタージュ (@_2pt) 2020年6月12日
力学系理論のお話。安定多様体と不安定多様体が一度交わると無限回交わろうとするみたいな話だった気がする。
消臭剤置いてから家のある場所通るとトマトジュースの匂いするようになったんだけどどうなってんだ
— ポタージュ (@_2pt) 2020年6月9日
先週までずっと実家にいて、京都の下宿に久しぶりに帰ったら部屋が臭かった(古い家にありがちな匂いだとは思うけど)ので適当にすがすがしいナチュラルガーデンの香りとか書いてあるファブリーズの置く消臭剤買ったら家の中の一部がトマトジュースの匂いになった。今もトマトジュースのにおいを嗅ぎながらパソコンに文字を打ち込んでいます。
寝ようとしてたら電話かかってきて刺身食いながら出された微積の問題を解いて帰る人になった
— ポタージュ (@_2pt) 2020年6月9日
に対してが収束するならばは収束することを示せ。
これくらいの問題検索したら引っかかりそうだと思ったけどないんだね
が収束するのでとしておけば
\begin{equation} \forall\varepsilon>0,\exists N\in\mathbb{N},n\geq N\Rightarrow |n^2a_n-\alpha|\lt\varepsilon\quad (|a_n-\alpha/n^2|\lt\varepsilon/n^2) \end{equation}
は収束するので \begin{equation} \forall\varepsilon>0,\exists N\in\mathbb{N},m\gt n\geq N\Rightarrow \left|\frac{1}{n^2}+\cdots+\frac{1}{m^2}\right|\lt\varepsilon \end{equation}
そこで、任意のに対して上に共通するをとっておけばで
\begin{align} |a_n+\cdots+a_m| &\leq\left|a_n+\cdots+a_m-\alpha\left(\frac{1}{n^2}+\cdots+\frac{1}{m^2}\right)\right|+\left|\alpha\left(\frac{1}{n^2}+\cdots+\frac{1}{m^2}\right)\right|\\ &= \left|\left(a_n-\frac{\alpha}{n^2}\right)+\cdots+\left(a_m-\frac{\alpha}{m^2}\right)\right|+\left|\alpha\left(\frac{1}{n^2}+\cdots+\frac{1}{m^2}\right)\right|\\ &\leq\left|a_n-\frac{\alpha}{n^2}\right|+\cdots+\left|a_m-\frac{\alpha}{m^2}\right|+\left|\alpha\left(\frac{1}{n^2}+\cdots+\frac{1}{m^2}\right)\right|\\ &\lt\frac{\varepsilon}{n^2}+\cdots+\frac{\varepsilon}{m^2}+\alpha\varepsilon\\ &=\varepsilon\left(\frac{1}{n^2}+\cdots+\frac{1}{m^2}\right)+\alpha\varepsilon\\ &\lt\varepsilon(\varepsilon+\alpha) \end{align}
あらためてとでもすれば
\begin{equation} \forall\varepsilon'\gt 0,\exists N\in\mathbb{N},m\gt n\geq N\Rightarrow\left|a_n+\cdots+a_m\right|\lt\varepsilon' \end{equation}
となって収束。
皮膚科で処方されてたステロイド剤どんなんだっけって調べたらステロイド塗り薬の中で最強のやつで草
— ポタージュ (@_2pt) 2020年6月9日
去年処方してもらった痒み止めの塗り薬があって、似た症状でたらいつでもそれ塗ればいいよ、って言われてるものがあるのですが、実家に帰るときに今痒くないし別にいらんやろ、と思って持っていかなかったら再発してしまって、下宿戻ってそれを即塗ったみたいなのがあった。そこでふと気になってステロイド剤について軽く調べた。ステロイド剤の強さには5段階(weak, mild, strong, very strong, strongest)あるらしくて、父親が皮膚が弱いこともあって実家にもステロイド塗り薬は置いてあるのだが、その強さはvery strongだった。で、僕の持ってるのはstrongestに分類されてるやつで、そりゃあ一瞬で治るわけだ、、、と思ったりした。
微積毎年事前に言ってた点数の付け方を無視したようにどっからか単位降ってきてたんだけど今年はどうなるんだろ
— ポタージュ (@_2pt) 2020年6月8日
去年の小テストはしたから4割くらいみんな0点から30点/100点、みたいなので中央値40点もないんじゃない?みたいなのだったけど、今年はオンラインになってどうなるんだろう、と思ったらまさかの2択20問らしくてひっくり返りました。
twitterでつぶやいたことを掘り下げる。ブログも書いてなかったし、ずっと課題しばいてるだけだし。(内容もそんなのばっかりだけど)
持ち前の検索技術を駆使してNNのしくみ考えた人の論文見つけ出して定常状態になる証明の式写してる
— ポタージュ (@_2pt) 2020年6月6日
http://cogsci.ucsd.edu/~sereno/107B/readings/02.02-AttractorCont.pdf
講義の課題で出たホップフィールドネットワークとよばれるニューラルネットワークのしくみ。リアプノフ関数というもの(エネルギーみたいなもの)を与える方法が天下り式でしかないっぽい?し思いつかなかったので自分で考えるのをやめた。
リアプノフ関数の定義調べると平衡点で0になるって書いてたりするのにそれ考えてないのがわりとよくある気がしたけど定数で調整できるから適当なのかな?
でが基底になってるとするとになっているのでこれはの基底でもある。これらで生成される空間は同じものなので。みたいな?dim(R^n)=dimV⇔R^n=Vは自明でいいのかなあとなった
— ポタージュ (@_2pt) 2020年6月5日
ココ君の直和
— ポタージュ (@_2pt) 2020年6月5日
最近食ってない。
今週あたりに入ってから課題が指数関数的に増えてる気がする
— ポタージュ (@_2pt) 2020年6月5日
課題多くない?
今日見た夢がめっちゃ鮮明だったから文字起こししたら600文字くらいになった
— ポタージュ (@_2pt) 2020年6月5日
内容:
慶應の医学部を受ける為にホテルに友達と2人で泊まってた ゆっくりしてたら急に友達入ってきてなんだと思ったら2つ隣の部屋に6人くらい知り合いが泊まっててそこでずっと遊んでた 過去問1回も見てねえって言ったらめちゃくちゃバカにされた 過去問みてないせいかめっちゃ不安になったんだけどそういえば自分京大生だったことを急に思い出して落ちても帰るとこあるし〜とかいってヘラヘラしはじめた 気づいたら朝になって会場に向かうんだけど会場がクソでかい古い倉庫みたいなので入り組んでる 会場に着いたあたりで受験票忘れたことに気づいて焦る 外国人の試験官に聞くんだけど英語で受けれねえよお前は笑みたいなことを言われる 次の人に聞いたら再発行できるよ、会場の地図もってる?って言われて紙出してあなたは今ここ(エリアC)、ここで再発行(いままで辿ってきた道順の最初の方、名古屋の地下街?)してここ(エリアF)にも行くのよって言われた 名古屋の地下街とエリアFはどっちに先に行ってもいいらしい。エリアFの方が近いし行こうかなと思ったんだけどアスレチックじみててめっちゃ行くの大変そうだったから名古屋の地下街に先に行くことにした 名古屋の地下街に戻って再発行のところ見つけたあたりで目が覚めた
は?
観測されたものは確定するからそれは定数とみれるってことね
— ポタージュ (@_2pt) 2020年6月4日
ベイズ推定の話。の分母(観測データ)はに関与しないので定数とみて無視して分子の部分だけ考えれるって話。が実際に観測されたデータ、は尤度(事前分布のときにこんなかんじのデータになるっていう分布)、が事前分布(事前知識で主観的にこんなかんじになってるんちゃうという分布)、が事後分布(事前知識とデータ見た上でこうなってそうっていう分布)
確率論基礎のチェビシェフの不等式の証明いままで見た中で一番すっきりしてる気がする
— ポタージュ (@_2pt) 2020年6月4日
インテグラル書いてあーだこーだやってるのが多い気がしたけど見易かったので。指示関数的な考え方使って期待値の単調性から上から抑えれる確率変数を作ったりする。
無採点かよwwwwwwなんだったんだこの時間はよ
— ポタージュ (@_2pt) 2020年6月3日
当日提出の課題に振り回される情報学科民たち。やけに問題難しくて友達と通話中にgoogleで検索かけまくってたら問題がアンダーソンブリッジ回路の改良版だと気づいて喜んだが直後にメールで問題設定の不備とかで不問になった。1日が無駄になってしまった。
解き方としてはキルヒホッフの電流の法則を使いまくる。ただし電流についての等式だけど電流以外の文字で表現する。計算がめんどい。
個人的には教授が僕たちを電電の学生だと思っていると疑っている(ビデオのアーカイブで物性とかこれからやると思いますが...みたいなことを言っていた為)
夏休み子供電話相談
— ポタージュ (@_2pt) 2020年6月1日
Q.コロナは収束することが前提とされているけど、発散しないことは証明されてるの?
発散しないらしい。
基礎数理演習でてる〜
— ポタージュ (@_2pt) 2020年6月1日
数理の民に毎週課される数学の課題。3時間の演習を想定しているはずなのに3時間で終わらない量を出される。今週はしんどかった。ただなんか別のとこで見たことあるのが多くて見たことある〜ってなってた(去年の微積の小テストと同じや〜んな問題、ハミルトンの正準方程式、最小二乗法、極座標ラプラシアンなど)。対称行列とベクトルに対してという知見。
みなさん、春休みは進捗がうめましたか?僕はうめました笑
あんまり色々つくったわけではないけど紹介してみます
JavaScript(Node.js/Express/Puppeteer/Socket.io/AR.js/A-FRAME)
定点観測させたらなんか謎背景にツイートが流れ続けるやつになった pic.twitter.com/aeAUCahp0P
— ポタージュ (@_2pt) 2020年3月3日
PythonとAlexa Developer Console、AWS Lambda
ポタージュさんが自宅のEchoDotで17:46:17に起床報告しました。
— ポタージュ (@_2pt) 2020年3月31日
— ポタージュ (@_2pt) 2020年3月29日
1ヶ月前くらい前にこの記事
を見て、僕も1年タブレット端末で板書とったりとかしてたので、どんな感じか(今更だけど)紹介してみようと思う。
ちなみにですが、僕自身京大の情報学科に所属しているので、周りを見るとやはりそういう系の学科というのもあってパソコンで板書とってる人が多い*1とはいえ、意外とタブレットで板書取っている人は少ないような印象があります。
僕が使っているのは
で
を付けている。入学祝いに贅沢言ってみたら叔父が買ってくれた。正直ただ板書とったりするだけならオーバースペックな気がするので普通のiPadでもいいんじゃね?という感じだけど、どうせ長く使うだろうし、実際めっちゃ使ってるし良いものを貰えてよかった〜という感じ。
Pagesはまあ特筆すべきこともないので何も書きません。
iPadで板書取るならGoodNotes5(かそれに類似したもの、探せばいくつかあります)が欠かせないと思う。
どんな感じでノート取れるかというと、例えばこんな感じ。
書こうと思えばきれいに書ける。ノートの線もこんな感じで方眼紙もあれば楽譜の横線もある。もちろん普通の横線もあるよ。
レジュメもネット配布のものは当然読み込めるし、紙で配布されるやつもその場で写真取れば自動で綺麗に修正してくれる。もちろん手書きで書き込める。
Apple pencilを持ってる手の人差し指とかでポンポン、ってやるとペンと消しゴムが切り替わるし、書き間違えても戻る押せば任意の段階に戻れるし、書き込む場所間違えたと思っても投げ輪ツールでそこの部分かこんでコピペできるし便利。
あとはなんかわりとがっつりメモしたいなーとか思った時もこのアプリで適当にメモ取ったりする。そこらへんの紙に書いてもいいけどちゃんと記録に残るので良い。他のどっかから画像貼り付けとかも可能。
このアプリ自体を2つ同時に起動して、iPadの画面左半分に問題、右半分に解答のレジュメとかそういう使い方もできる。
本も自炊するなり写真撮るなりで読み込めば、ペンだけじゃなくてマーカーとかでその本に書き込むみたいなこともできる。実際京都検定の勉強するときは京都検定の公式ガイドブックをスキャナーで読み込んでそれをアプリで取り込んでマーカー引いてた。
はじめから入ってるブックでもレジュメ読めるじゃん!とはなるけど、書き込むならやっぱりこっちだな〜という感じ。
ちなみに、このアプリのデータは全部自動でiCloudにバックアップされるのでデータが消えるとかそういう心配もないです。
次にTeXPadについて。まあ普通にLaTeXなのでどんな感じかって画像載せるだけで特に書くこともないかな。
ちなみに、こういう使い方もできる。
これもiCloud上にあるTeXファイルに書き込んだりしてるので、データが消えたりとかはないです。
iCloud上で管理しているということはつまりパソコンからも同じファイルを編集できるので、家ではパソコン、外ではiPadなんて使い方もできる。
TeXPad買わなくてもネット上でOverleafとか使うのもいいかもね。
どちらのアプリも有料だけど、買う価値は十分にあると思います。
iPadのおかげで普段大学に行く時はカバンにはiPadしか入れてないことが多かったです。全部これで完結しちゃうからね!
まあ欠点としてはガッツリとしたプログラミングするとなったらやっぱりパソコンが要るよなってことくらいかな?*3