Computer

Ubuntu 20.04 LTS on WSL2 環境構築メモ (3/4) - Docker 導入

前提 導入対象とするマシンは下記の通り。 Hardware : CPU = i10900, GPU = GeForce RTX 2080Ti, Mem = 32GB, SSD 1 TB + HDD 2TB ベース OS : Windows 10 Pro バージョン 20H2 (ビルド 19042.685) 仮想 OS : Ubuntu 20.04 LTS on WSL2 環境構築メモ 2/4 を…

Ubuntu 20.04 LTS on WSL2 環境構築メモ (2/4) - GUI 導入

更新 2022.10.09 導入保留としていた WSLg preview を Widows 11 が勝手にアップグレード導入し、VcXsrv と競合するようになってしまったため、泣く泣く VcXsrv を外すことにする。 具体的には XLaunch を起動しないようにし、~/.bash_profile の export DIS…

Ubuntu 20.04 LTS on WSL2 環境構築メモ (1/4) - 開発環境導入

前提 導入対象とするマシンは下記の通り。 Hardware : CPU = i10900, GPU = GeForce RTX 2080Ti, Mem = 32GB, SSD 1 TB + HDD 2TB ベース OS : Windows 10 Pro バージョン 20H2 (ビルド 19042.685) 仮想 OS : Ubuntu 20.04 LTS on WSL2 WSL2 と Ubuntu 20.04…

Functional Programming w/ C# LINQ

.NET 5.0 および C# 9.0 リリースによって LINQ 周りの機能が飛躍的に向上するかと思いきやそうではなかった。期待していた record の with 構文は式木にならず *1 IQueryable や LINQ to Entities で利用できないため、生産性向上にいっさい寄与しない *2。…

Functional Programming w/ C# LINQ - with 初期化子の代替メソッド定義 for C# 8.0 or former

C# の LINQ を使ってデータ変換をしていると、データクラスのインスタンスをコピーして一部のプロパティを別の値に差し替えたいということがよくある。C# 9.0 では Records v2 の with 構文というものが導入されるようで期待できるのだが、現行の C# 8.0 で…

Functional Programming w/ C# LINQ

C# 8 switch 式の威力はすごい。EntityFramework Core 用の Upsert が実質 3 行 *1 で記述できてしまった *2 。 public static void Upsert<T>(this DbSet target, IEnumerable<T> source) where T : class, IDbMappable => source .GroupJoin(target , l => l.Get</t></t>…

Functional Programming w/ C# LINQ

Python は好きになれない。Python の長所と言われているものは、プログラミング初心者相手のごまかしであるか、あるいは C などの古い言語に対するアドバンテージであり、ライバルとなる他のモダン言語に対するものではない。オフサイドルールも弊害が大きく…

Functional Programming w/ C# LINQ

業務ユーザが既存 DB を読み取り専用で利用するための LINQ to Entities (Code First) コーディング・メモ 半月の間かなり苦労して Entity Framework 6 (EF6) と Entity Framework Core (EF Core) にてデータベースアクセスできるようになった。業務ユーザと…

Functional Programming w/ C# LINQ

ここ 9 ヶ月ほど C# LINQ プログラミングをしてきて、関数型・集合論的演算はやはり素晴らしいと思ってきたが、コーディングの目的が調査・研究から運用目的のシステム構築に移りつつあるためか、LINQ の限界が見えてきた。C# は unsafe で書けば C / C++ …

Functional Programming w/ C# LINQ

ここ 8 ヵ月ほど C# の LINQ でちょっとばかりデータサイエンティスト的なことを やっている。大量データ処理は C# LINQ が群を抜いて優秀である。LINQ はクエリ式より複雑な取り回しをできるメソッド式で記述する方が便利であることが多いが、ここにきてク…

コンピュータ将棋とデリバティブ・モデル

IS将棋・東大将棋・棚瀬将棋の開発者であり、コンピュータ将棋選手権 の準優勝者である 棚瀬寧 氏は、私の大学学部学科の同期である。在学中に彼からIS将棋の開発に誘われたが、当時、別プロジェクトに参加していたことと、将棋が強くないことを理由に断…

プログラミングの進化 〜 2007年問題

父がシステム開発の資料を見ている。覗いてみると「オーバーレイ計画」と書かれている。「オーバーレイ Overlay *1 *2 !?」四半世紀前のプログラミング技法である。その隣には「再入可能 Reentrant *3 」「再利用可能 Reusable」「ゼロクリア Zero-Clear」…

気になるグッズ

わが師、坂村健教授の強力なライバル (?) となる存在がこのごろ頻繁に出現する。ウェアラブル・コンピュータを研究テーマにする神戸大学工学部の塚本昌彦教授である。マウスやらなんやらをゴテゴテ身にまとうスタイルで、イケてるルックスを台無ししているデ…