紅白見たりとか。
今年は忙しかったな。でも学生さんの論文が2編出たのは良かった。
来年はもう少しがんばろう。皆さん良いお年を。
紅白見たりとか。
今年は忙しかったな。でも学生さんの論文が2編出たのは良かった。
来年はもう少しがんばろう。皆さん良いお年を。
年賀状を書いた。
$ icpc
Error: A license for Comp-CL is not available (-16,287).
License file(s) used were (in this order):
** 1. /opt/intel/compilers_and_libraries_2020.0.166/linux/licenses
** 2. /opt/intel/licenses/COM_L__CPPFOR_GDXV-5J47RJPC.lic
** 3. /opt/intel/licenses/l_5J47RJPC.lic
** 4. /opt/intel/licenses/server.lic
** 5. /opt/intel/licenses/watanabe-login.lic
** 6. /home/yamamoto/intel/licenses
** 7. /opt/intel/compilers_and_libraries_2019.4.243/linux/bin/intel64/../../Licenses
** 8. /home/yamamoto/Licenses
** 9. /Users/Shared/Library/Application Support/Intel/Licenses
** 10. /opt/intel/compilers_and_libraries_2019.4.243/linux/bin/intel64/*.lic
Please refer http://software.intel.com/sites/support/ for more information..
icpc: error #10052: could not checkout FLEXlm license
またIntelコンパイラのライセンスサーバが死んだ。日記にgrepかけて復活手順を確認。パスを隠す意味もないだろうから、復活の手順を書いておく。
ライセンスサーバのプロセス番号とコマンドの確認。
$ sudo ps aux | grep lmgrd
root 4426 0.0 0.0 25572 80 ? Sl 8月21 3:04 /opt/intel/licenseserver/lmgrd -c /opt/intel/licenses/COM_L__CPPFOR_GDXV-5J47RJPC.lic -l /opt/intel/licenseserver/flexnet_logfile.txt
ライセンスサーバを殺す。
sudo kill -KILL 4426
ライセンスサーバ再起動。psで確認したコマンドをそのまま入力。
/opt/intel/licenseserver/lmgrd -c /opt/intel/licenses/COM_L__CPPFOR_GDXV-5J47RJPC.lic -l /opt/intel/licenseserver/flexnet_logfile.txt
$ icpc --version
icpc (ICC) 19.0.4.243 20190416
Copyright (C) 1985-2019 Intel Corporation. All rights reserved.
復活。日記書いてて良かった。
会議があったのを完全に失念していた。うげ。
会議とか。
仕事納め(ちっとも納まってない)。
日記を全然書いてなくて、Googleカレンダー見て何やってたかな、とか確認する感じに。
まー、誰も見てないけど。
っていうか、日記は「その日をやらなきゃいけないことだけで終わらせない」というために書いてるはずだが、「やらなきゃいけないこと」が終わらない。
学生さんの卒論と修論、submoduleで管理しているのだが、なんかgit clone –recursiveでcloneすると表示がおかしい。見てみたらHEADが取れている。なんでだ? 各リポジトリでswitch mainすればなおったが、気持ち悪い。
年内最後のプログラミング基礎同演習。参加人数が少ないなぁ・・・。
広告、なるべくゲーム、漫画、アニメをクリックして平和にしてたんだけど、間違えて18禁漫画をクリックしちゃって、途端に治安が悪くなってしまった。悲しい。
広告のトラッキングを許可しないと、逆に18禁ばかりになるので、トラッキングを許可した上で学習させるしかないんだけど。
1on1とか会議とか。
Zennの振り返りレポート来た。
明らかに生産性が落ちている。悲しい。
レポートの採点。
GitでSubmoduleがある時、そのsubmoduleがさらに別のsubmoduleを持っていて、その深い方のsubmoduleの権限を持っていない、という場合に–recursiveでcloneしようとすると失敗する。こういう時の対処法。
--recursiveをつけずにcloneするgit submodule initgit submodule update --remoteこれにより、submoduleが「最新のコミット」を持ってくるので解決する。これまで単にgit submodule foreach git pullしようとすると、追加された時のコミットをもってこようとするから失敗していた。これに長い間悩んでたが、これでようやく解決。
いや、学生さんたちの卒論、修論をすべてsubmoduleで管理してたので。
課題研究発表会。みなさん、立派に発表できて何よりです。
ダメだ。疲れて何もできない。
1on1と会議。
課題研究発表会練習会。みなさん、本番がんばってください。
山本さんの論文がPublishされた。めでたい。
T. Yamamoto and H. Watanabe, J. Chem. Phys. 159, 234119 (2023).
渡辺研新メンバーに連絡。
図のチェック全て終了。
会議とか会議とか。
査読一つ送った。
教科書校正。
1on1 x 3。
プログラミング基礎同演習。「Pythonはどう動くのか」。
GitHubのメインブランチの変更、いつもメニューがわからなくなる。Default branchの設定は「General」にあるんだよね。いつも「Branches」を探しに行って「あれ?ないな。Protection Rulesを設定しないとメインブランチ設定できないのかな?」って思っちゃう。
今年5月18日に開けたissueを閉じた。エラい。
機械翻訳版を下につけておく。
PyTorch の設計の起源、Lua との関係、JAX との絡み合った深い関係、Chainer との共生関係
PyTorch の基礎作りは、もともと 2016 年の初めに、Torch7 の貢献者らの間でオンラインで始まりました。
self.conv = nn.Conv2d (...) 、Parameter の概念は、Chainer v1 からの進化したアップグレードとして導入したものです。また、インプレース操作で正確性の問題を検出するための「変数バージョニング」など、autodiff エンジンの実装方法–を革新的に変更しました。また、その他のいくつかの新しいアイデア、最終的に v2 の Chainer に戻されたアイデアなども革新的に変更しました。Chainer のコミュニティが開発を停止したいと考えたとき、 @PreferredNet友好的かつ積極的に PyTorch コミュニティに参加しました (参考文献のリンク)。アイデアの帰属を明らかにすることは健全で素晴らしいことなので、もっと頻繁に行うべきです PyTorch がリリースされて以来、いくつかの新しいライブラリが PyTorch の設計とアイデアを使用しています–私たちが導入した特定の新しいアイデアは、最終的には他の多くのライブラリに伝わりました– 。これは素晴らしいことです。 私たちは、これまでの仕事からインスピレーションを得てきたことを誇りに思いますし、その後の仕事にもインスピレーションを与えてきたことを誇りに思っています。 また、私たちは– torch-autograd、chainer、その他、より小さな方法で私たちにインスピレーションを与えてくれた多くのプロジェクトからインスピレーションを得たことを常に明確に示していることに誇りを持っています –。 私は、人々はこれを十分に行っておらず、自分の起源を明確に帰属させていない–と思います(p36)歴史を消去するためにエゴまたは企業の統制が機能するようになり– 、人々はここでもっと行動する必要があります。その意味で、フレームワーク設計を科学的な取り組みとして捉え、アイデアや進化についてオープンに議論し、その起源やインスピレーションを誇らしげに語る JAX の友人たちを私は本当に誇りに思います。
参考文献:
GitHubの開いてるIssue一覧、結局検索で「author:kaityo256 state:open type:issue」で探せってことか。確かにそれで普通に見つかるからいいのか。
1on1たくさん。sshfsとか、VSCode+Remote SSHをハンズオンに入れた方が良さそう。
レポート採点完了。力作が多かった。
年賀状頼んだ。
いろいろバタバタする。
なんかX(Twitter)は騒がしすぎるな。しずかなインターネットを試してみるかなぁ。
レポート採点途中まで。
ようやく先週の疲れが取れてきたのだが・・・
大きいドキュメント書いた。ずっと前から書こうと思っていたのだが、腰が重かった。
腰が重い仕事、もう一つこなした。
推薦文二通書いた。良い感じである。
学生さんと話していて、デバッグの正しい(?)考え方が伝わっていない気がした。デバッグとは、「どこが間違っているかを探す」よりも「どこは絶対正しいか探し、それを容疑者から外していく」ことの方が大事。
ChatGPTなどにより、とりあえずコードを作ってしまい、後からデバッグするという形をとると、これがうまくいかなくなる。モジュールごとにテストしながらプログラムを組み上げ、バグったら、そのコードそのものよりも、テストコードを書く方が早い、ということをなんとか伝えたい。
課題研究発表会(M1中間発表)の練習会。
会議の前に重要なことを思い出した。危なかった。
会議。
年末調整の書類提出。予めシステムにイメージをアップロードしておいたものに対して、原本を提出する。システムから原本を貼り付けるための台紙をダウンロード、印刷し、セロテープで貼り付けて事務に提出。A4一枚に原本1枚。今年は11枚あった。
なんか、学生に個人的に伝えているプログラミングのノウハウをドキュメント化したい。特に、デバッグしながら、ステップバイステップで開発する形。今はChatGPTとかを使って、とりあえず完成形を出しちゃってから修正・デバッグやっているのがあまりよろしくない。
講義。
最近心身ともに疲れててダメだ。夜、「SNSにお気持ちを書いてはいけない」というポストを見かけて「そうだよなぁ」と納得。最近いろいろダメだ。
1on1して会議して1on1して。
もうこの会議で発言するのやめよう。僕は必要ないはずだし。
WSLのターミナルでcode .と入力したらエラー。
$ code .
Updating VS Code Server to version af28b32d7e553898b2a91af498b1fb666fdebe0c
Removing previous installation...
Installing VS Code Server for x64 (af28b32d7e553898b2a91af498b1fb666fdebe0c)
Downloading: 100%
Failed
--2023-12-10 00:50:11-- https://update.code.visualstudio.com/commit:af28b32d7e553898b2a91af498b1fb666fdebe0c/server-linux-x64/stable
update.code.visualstudio.com (update.code.visualstudio.com) をDNSに問いあわせています... 13.107.246.46, 13.107.213.46, 2620:1ec:bdf::46, ...
update.code.visualstudio.com (update.code.visualstudio.com)|13.107.246.46|:443 に接続しています... 接続しました。
エラー: update.code.visualstudio.com の証明書(発行者: `CN=Microsoft Azure RSA TLS Issuing CA 08,O=Microsoft Corporation,C=US')の検証に失敗しました:
発行された証明書はまだ有効ではありません。
update.code.visualstudio.com に安全の確認をしないで接続するには、`--no-check-certificate' を使ってください。
ERROR: Failed to download https://update.code.visualstudio.com/commit:af28b32d7e553898b2a91af498b1fb666fdebe0c/server-linux-x64/stable to /home/watanabe/.vscode-server/bin/af28b32d7e553898b2a91af498b1fb666fdebe0c-1702137011.tar.gz
Please install missing certificates.
Debian/Ubuntu: sudo apt-get install ca-certificates
証明書が有効でないというエラー。あれ?と思ってChatGPTに証明書の有効性を確認するコマンドを聞いて実行。
$ openssl s_client -servername update.code.visualstudio.com -connect update.code.visualstudio.com:443 | openssl x509 -noout -dates
depth=2 C = US, O = DigiCert Inc, OU = www.digicert.com, CN = DigiCert Global Root G2
verify return:1
depth=1 C = US, O = Microsoft Corporation, CN = Microsoft Azure RSA TLS Issuing CA 08
verify return:1
depth=0 C = US, ST = WA, L = Redmond, O = Microsoft Corporation, CN = update.code.visualstudio.com
verify error:num=9:certificate is not yet valid
notBefore=Dec 9 18:17:28 2023 GMT
verify return:1
depth=0 C = US, ST = WA, L = Redmond, O = Microsoft Corporation, CN = update.code.visualstudio.com
notBefore=Dec 9 18:17:28 2023 GMT
verify return:1
notBefore=Dec 9 18:17:28 2023 GMT
notAfter=Jun 6 18:17:28 2024 GMT
「verify error:num=9:certificate is not yet valid」。まだ有効でない?ここで、さっきのメッセージに「発行された証明書は まだ 有効ではありません。」と書いてあったことに気づく。WSLの時計がずれてたんだ。
sudo /usr/sbin/hwclock -s
これで動いた。10分毎に実行するようcronに入れてたんだけど、実行されてないっぽいなぁ。
JCPのProof見た。「Fig. 10 (a)」みたいな奴、わざわざ「Fig.\ref{fig:label}(a)」と、括弧前に空白を入れてたんだけど、Proofでは消されている。
塩漬け仕事、一つ片付けた。すぐ終わるんだけど、なんか腰が重いんだ。
今日はもう駄目だ。多分何してもミスる。
疲れが重くのしかかっている。
プログラミング基礎同演習のレポート少し採点。
1on1とか。
「日々しなければならない仕事だけで一日を終わらせない」というのがそもそもこの日記を書く動機だったのだが、もはやday単位でそれを実行することは不可能。というわけで、「日々しなければならないこと以外」のためにC++ MIXで発表したのだが、わりとスケジュールに無理があってちょっと疲れた。
自分の研究がまったくできていないのでなんとかしなければ。
研究室ミーティング。輪講。PRML最後。
自分はt-SNEについてざっくりと理解について話した。
渡辺研配属面接。
その後、C++ MIX #8へ。
プログラミング基礎同演習。今日はオブジェクト指向。
その後いろいろバタバタする。
1on1。
メール処理。
水曜日のスライド作った。
今更だが、ChatGPTのハルシネーションの例が増えたのでメモ。
「GCCのGIMPLEは何の略ですか?」
ChatGPT-3.5「GCCのGIMPLEは「GNU Compiler Collection(GCC)のインターナル中間表現 (GNU Compiler Intermediate Representation)」の略です。GIMPLEはGCC内部で使用される中間表現形式であり、コンパイラの最適化およびコード生成の段階でプログラムを表現するために使用されます。GIMPLEはプログラムをより抽象的な形式で表現し、さまざまな最適化処理が適用される前にプログラムを単純化および標準化するのに役立ちます。この中間表現は、GCCの内部で使用され、ユーザーが直接操作する必要はありません。プログラムの最適化やコード生成についての詳細な情報を含むため、GCCの開発者にとって非常に役立つものです。」
ChatGPT-4「GCCの「GIMPLE」は、「Generic and GIMPLE」の略です。GCC (GNU Compiler Collection) では、GIMPLEは中間表現の一種として使用されており、高レベルのソースコードと低レベルの機械語の間でコードを変換する際に重要な役割を果たします。この中間表現は、最適化や他の変換処理に適した形式で、プログラムの構造を維持しながら、コンパイラがより容易に解析できるように設計されています。」
GitHub演習のレポート採点した。ギリギリになってしまった。
子供のお迎えとか。疲れた。
学科分け説明会。
渡辺研の展示(数独、GitHub演習のゲーム、京のCPU)が数年変わっていないので、そろそろ新しくしたい。
プログラミング基礎同演習のレポート採点した。
来年度前期の物性研の申請した。
学生さんからの報告を受けて、だいぶRBMの理解が深まった気がする。是非論文にまとめたい。
学科分け説明会の準備。