夏休みにしたいこと

したいなぁ～～～～～～～～～～！（半分もしない）

妖の杜の都炉端 探検同盟プレリリースパーティ開催報告

開催しました。（前回よりマシとはいえ）急な告知にも拘らず、6名の方に集まって頂いて嬉しいです。しかもうち3名は初参加の方でした。嬉しいね。

認証プロキシ環境下でのpip install

学校の研究室でpipを入れたんですけどproxyの関係でinstallができませんでした。ので解決させた方法。

結論から言うとHTTP_PROXYとHTTPS_PROXYって名前の環境変数それぞれに

http://[username]:[password]@[proxyaddress]:[port]

を設定してあげるだけ。はい解散。

日記 ガンダムの階級が戻ったうれしい

日記を書きます。ガンダム*1の階級が少尉3だったのが少尉1に落ちてたんですけど、今日やったら3に戻れてうれしい。

*1:alias ガンダム=エクバ2

今年度の豊富

後で増えます

• ガンダムに有り金を溶かさない
• AtCoder緑（あわよくば水）
• 来年に向けて金を貯める
• カンファをちゃんと開く
• オフイベ5回位開く
• 鰤に貢ぐ
• 好きなことする
• 卒検を早めに終わらせる

【C#】DiscordのBotを作った

だいぶ前ですがDiscordのBotを作ってみました。といっても大体コピペプログラミング。

【C#】僕.botを.NET Coreで書き直した【成長を感じる】

こんばんはケヴィンです。2か月間放置してた僕の人工無能botを書き直しました。

のでその話をします。