This is an OpenPGP proof that connects my OpenPGP key to this Github account. For details check out https://keyoxide.org/guides/openpgp-proofs
[Verifying my OpenPGP key: openpgp4fpr:1D869045099AD02BC1CB1750F7179CFB7819215A]
This is an OpenPGP proof that connects my OpenPGP key to this Github account. For details check out https://keyoxide.org/guides/openpgp-proofs
[Verifying my OpenPGP key: openpgp4fpr:1D869045099AD02BC1CB1750F7179CFB7819215A]
$ sudo apt update -y && sudo apt upgrade -y | |
$ sudo apt install opam | |
$ opam init | |
$ eval $(opam env) | |
$ ocaml --version | |
The OCaml toplevel, version 4.08.1 | |
$ opam switch create 4.12.0 |
種類 | 製品 | 価格 | 備考 | 仕様 | ストア |
---|---|---|---|---|---|
マザボ | MAG B660M MORTAR WIFI DDR4 | 50,754 | 26,747, セット: https://shop.tsukumo.co.jp/goods/2022011900207/ | https://jp.msi.com/Motherboard/MAG-B660M-MORTAR-WIFI-DDR4/Specification | https://shop.tsukumo.co.jp/goods/4526541040801/ |
CPU | i5 12400 | 27,480 | https://www.intel.co.jp/content/www/jp/ja/products/sku/134586/intel-core-i512400-processor-18m-cache-up-to-4-40-ghz/specifications.html | --- | |
CPUクーラー | AK620 | 6,970 | --- | https://jp.deepcool.com/products/Cooling/cpuaircoolers/AK620-High-Performance-CPU-Cooler/2021/13076.shtml | https://www.amazon.co.jp/dp/B09HRK311X?psc=1&ref_=cm_sw_r_cp_ud_dp_TFQG38TQ24GAAM4ZYTDX |
ストレージ | P5 Plus 1TB | 15,300 | --- | https://www.crucial.jp/ssd/p5-plus/ct1000p5pssd8 | https://www.amazon.co.jp/dp/B09BF8NHDQ?psc=1&ref_=cm_sw_r_cp_ud_dp_1CYGEZ29G16WTQE3PKG0 |
メモリ | CORSAIR DDR4-3200 16x2 | 14,141 | --- | https://www.corsair.com/ja/ja/%E3%82%AB%E3%83%86%E3%82%B4%E3%83%AA%E3%83%BC/%E8%A3%BD%E5%93%81/%E |
こんにちは。法政大学 情報科学部 2 年の Void です。大学では Void という名前ですが、インターネット人格としては blank として生きています。「ぼっち・ざ・ろっく!」という神アニメと OW2 という闇のゲームに無限に時間を吸われています。
色々な Advent Calendar が立ち上がる時期に「学部 Advent Calendar って無いのかな」と呟いていたところ、あべてつ が作成してくれました。
Advent Calendar というのは企画の日めくりカレンダーブログというもので、技術系のブログサイトを中心に行われている様子があります。詳しくは アドベントカレンダーに関するアレコレ、QiitaアドベントカレンダーとAdventarの中の人に聞きました。 - Qiita Zine を読んでみると良いかと思います。
この 法政大学情報科学部のカレンダー | Advent Calendar 2022 - Qiita については内容は問いません。何でも良いです。技術系のみならず、大学周辺のオススメのお店だったり、自分が所属しているサークルや団体であったり、大学に関係のない趣味の話であったり。何でも良いという点で言うと、kaizen_nagoya が 4 日の担当をしてくださるという点があります。この方は存じ上げませんが、弊学経済学部卒らしく、法政大学の IT 関係のお知り合いを紹介してくださるらしいです。枠はスカスカなので、興味がある弊学の学部以外の方でも参加をお待ちしております!
Try out opam 2.2.0~alpha on stock Windows 11 22H2.
Doc: https://github.com/diskuv/dkml-installer-opam
To solve the dependencies, install Git Bash. Download the standalone installer and install normaly instead of winget
to add Git Bash Profile to Windows Terminal.
Execute installer.
参考: CLI から VSCode を開いて SSH 接続先のファイルを直接開きたい! - Qiita
shell から remote の vscode サーバーを開く方法。
code --remote ssh-remote+
「法政大学情報科学部 Advent Calendar 2023」 1 日目の記事になる。と言っても書いているのは 10 日だったりする。テーマは技術系に限らず何でも良いので何かを書きたい人はゆるり自由に書いてください。
AlmaLinux Day: Tokyo に参加した。AlmaLinux だけのイベントは世界初らしい。
Almalinux は RHEL 系の Linux ディストリビューションの一つである。RHEL 系ディストリビューションは RHEL と呼ばれる Red Hat 社が提供する商用の Linux ディストリビューションをベースに互換性を保ったディストリビューションである。RHEL はサポート期間が長く、セキュリティ性が高い。その恩恵を受けた無償ディストリビューションが Almalinux を始めとした RHEL 系 Linux になる。
今回、このイベントが日本で行われたのは RHEL 系の MIRACLE LINUX を提供しているサイバートラストが AlmaLinux 10 から共同で AlmaLinux 10 を開発していくことに関連しているからだろう。
WSL2 上で Fedora をインストールしたい。下記で普通にサポートされているディストーションの一覧を表示することができる。しかし Fedora はこのリストには存在しない。
$ wsl.exe --list --online
インストールできる有効なディストリビューションの一覧を次に示します。
'wsl.exe --install <Distro>' を使用してインストールします。
NAME FRIENDLY NAME
Ubuntu Ubuntu
Debian Debian GNU/Linux