第0回 環境構築1（C#/F#共通）

.NET SDKのダウンロードページより，software development kit (SDK)をダウンロードする．2025年度は.NET 8.0のものを使用することとする．

• Windowsの人はWindows版のSDKをダウンロードする．
• Mac版についてはいわゆるintel MacとAppleシリコン（M1やM2）のMacではダウンロードすべきものが違うので注意．前者はx64版を後者はArm64版をダウンロードしよう．

ダウンロードしたインストーラを実行し，指示に従ってインストールを完了する．

• Windows版ならdotnet-sdk-8.0.407-win-x64.exeみたいな名前
• Macのx64版ならdotnet-sdk-8.0.407-osx-x64.pkg/dotnet-sdk-8.0.407-osx-arm64.pkg みたいな名前

ターミナル（WindowsだとPowerShellか「コマンド プロンプト」，MacだとTerminal.appやiTerm.app）を開き，以下を実行する．

dotnet --list-sdks

以下は私の環境における出力だが，このようにダウンロードしたSDK（上の8.0.407）が表示されたらばOK．

6.0.400 [/usr/local/share/dotnet/sdk]
6.0.407 [/usr/local/share/dotnet/sdk]
6.0.408 [/usr/local/share/dotnet/sdk]
6.0.410 [/usr/local/share/dotnet/sdk]
6.0.419 [/usr/local/share/dotnet/sdk]
7.0.202 [/usr/local/share/dotnet/sdk]
7.0.302 [/usr/local/share/dotnet/sdk]
7.0.304 [/usr/local/share/dotnet/sdk]
7.0.313 [/usr/local/share/dotnet/sdk]
8.0.200 [/usr/local/share/dotnet/sdk]
8.0.407 [/usr/local/share/dotnet/sdk]

適当なフォルダに移動して以下を実行する．

dotnet new console -o HelloWorldCS 

HelloWorldCS というフォルダができているので，そこに移動する．

cd HelloWorldCS 

中身をlsで確認してみよう．たとえば，Macだと以下のように表示される（Windowsだと ls は dir の別名なので，表示は多少異なる）．

HelloWorldCS.csproj  Program.cs           obj/

プログラムを書くには Program.cs を変更すればよい．現時点では Program.cs の中身は以下の通りである（cat Program.csを実行するなどすると見られる）．

// See https://aka.ms/new-console-template for more information
Console.WriteLine("Hello, World!");

以下のコマンドを実行してビルドする．

dotnet build

以下を実行してビルドしたプログラムを実行する．

dotnet run 

すると，"Hello, World!"が表示されるのが確認できるはずだ．

F#でも同様であることを確認しておこう．

1. まず，今HelloWorldCSの中にいるのであれば，その外に移動する．

2. そして，上記において，dotnet newを実行する場面で，dotnet new console -o HelloWorldCS の代わりに dotnet new console -lang "F#" -o HelloWorldFS とする．また，このコマンドだとHelloWorldCSではなくHelloWorldFSというフォルダが作成される．

https://code.visualstudio.com/からインストーラをダウンロードする．

ダウンロードしたインストーラを実行し，指示に従いインストールする．

お好みでJapanese Language Pack for Visual Studio Codeをインストールし，UIを日本語にする．

リンク先のウェブページの「Install」ボタンを押すと，「VSCodeで開きますか」旨の質問が表示されるのでそうする旨の選択する．すると，VSCode内で当該拡張機能のページが表示されるので，そこの"Install"ボタンを選択する．

あるいは， VSCode上で拡張機能の検索画面からインストールする．左下の歯車アイコンをクリックし"Extensions"を選択する，かWindowsだとControl + Shift + X，MacだとCommand + Shift + Xを押す．するとサイドバーが"EXTENSIONS"に切り替わる．サイドバー上部の検索欄から"Japanese"で検索すると"Japanese Language Pack for Visual Studio Code"が検索結果に現れると思うのでその"install"をクリックする．

しばらくするとインストールが完了し，VSCodeの再起動が求められるので指示に従う．

C# Dev Kitをインストールする．上と同様にリンク先のウェブページからインストールするか，左下の歯車アイコンをクリックし「拡張機能」を選択し，拡張機能サイドバーより検索してインストールする（"C#"で検索すれば見つかるはず）．

• なお，ライセンスはVisual Studioと同様である．本演習の範囲（学術目的の使用は無償なので）では気にすることはないが，商用のソフトウェアを作成する場合は有償ライセンスが必要となる場合がある．詳しくは公式FAQを参照．

Ionide for F#をインストールする．やり方は上と同様．

（オプショナル & Macの場合）codeコマンドをインストールする．コマンドパレット （Command + Shift + Pを押すと出てくる）から，

シェル コマンド: PATH 内に 'code' コマンドをインストールします
Shell Command: Install 'code' command in PATH

を選択し（当該コマンドは"Shell C"ぐらいまで入力した出てくるはず），codeコマンドをインストールする．これによりターミナルからcode FOLDERとすることでVSCodeを起動できるようになる．