/

• UTOL で当該授業のページに行く
• Go to UTOL and open the page of the course
• 課題一覧の中から, "課題0: Jupyterパスワード" の, 「教員からのコメント」を見る(課題を提出する必要はない)
  • 注: 上記課題が見えない人は, UTOLで受講登録する (参考: UTOL学生向け利用マニュアル(簡易版) p31 10.1. 受講登録)
  • 注: UTOL上で受講登録しても履修登録したことにはなりません. 履修することにした場合, UTAS. から履修登録してください.
• From the assignment list, find "Assignment 0: Jupyter password" and get its "Comments from the instructor" (you do not have to submit a report for the assignment)
  • Note: if you do not find the assignment, register yourself to the course course by "Register a course" button in UTOL (see: UTOL User Manual for Students p28)
  • Note: registering to the course in UTOL does not sign up for the course. If you decide to sign up for the course, do it from UTAS.
• 「教員からのコメント」に

  visit https://xxxx.xxxx.xxxx:8000/ user=u2xxxx password=xxxxxxxx

  と書かれているのを見る. 書かれているURL (https://taulec.zapto.org:8000/, https://tauleg.zapto.org:8000/, python.mi.u-tokyo.ac.jp など)にアクセスしてユーザ名とパスワードを入力してログイン.
• Find something like

  visit https://xxxx.xxxx.xxxx:8000/ user=u2xxxx password=xxxxxxxx

  in "comments from the instructor". Visit the specified URL (https://taulec.zapto.org:8000/, https://tauleg.zapto.org:8000/, python.mi.u-tokyo.ac.jp, etc.) and login with the user name and password.

• 課題や演習用のファイルを配布するのにNbgraderを使う.
• We use Nbgrader to distribute files for assignments or excercises.
• 上部メニューから, Nbgrader -> Assignment Listを選択. このようなページが現れる.
• Select Nbgrader -> Assignment List in the top manu, to see a page like this.
• 配布物がある場合, ページ上部に配布物の名前とFetchというボタンが現れるので, ボタンを押して入手
• When you have an item to work on, you find its name along with a Fetch button near top of the page, press the button to get it.
• ▶ をクリックすると配布されたファイルが現れるのでクリックして開く.
• Press ▶ to show files fetched. Click one to open it.
• あとはファイルに書かれている指示に従って作業をする.
• Follow instruction in the file.

• 一部のセルは解答記入, 採点対象のセルになっており, そのようなセルを複製(コピーペースト)するとnotebookが壊れて, 採点できなくなる
• Some cells are for entering your answers and grading. If you duplicate (copy and paste) such a cell, the notebook becomes broken and cannot be graded.

• notebookを開いているページの上部にあるvalidateボタン, Assignment Listページ中のvalidateボタンを押すと,
  • notebookが壊れていない(解答記入用のセルが複製されていない)か
  • 解答セル中にわずかでも変更が施されているか
  がチェックされる.
• Pressing the validate button near the top of a notebook or in the Assignment List page checks if
  • the notebook is not broken (cells for your answers are not duplicated), and
  • those cells are modified at all
• Noetbookをsubmitする前にvalidateをして, notebookが壊れていないことを確認せよ
• Before submitting a noetbook, validate your notebook to check if it is not broken

• Jupyterlabのnotebookでの作業を提出する場合, UTOL上の課題として提出の指示がある.
• When you are supposed to send your work done in Jupyterlab notebook, there is an assignment that instructs you to do that in the UTOL.
• その場合, まず JupyterlabのNbgrader -> Assignment List から Submit ボタンでsubmitする.
• In that case, first go to Nbgrader -> Assignment List in the Jupyterlab menu, and press Submit button to submit it.
• UTOL上でも報告せよと言われたら, UTOL上で対応する課題に対して, Jupyter上で提出したことを報告するだけの送信を行う
• When instructed to report your submission in UTOL too, submit the corresponding UTOL assignment, just to say you have submitted it on Jupyter.

• Jupyterでは物事が思う通りに動かないことがよくあるので, 脱出・回避方法を覚えておくと良い
• Things often go wrong with Jupyter. You want to know how to escape from a wrong state.

1. 比較的穏やかなリセット方法: 上部のメニューからKernel-> Restart Kernel (またはRestart Kernel and Clear Output)を選択
2. A modest way to reset: Select Kernel-> Restart Kernel (or Restart Kernel and Clear Output) from the top menu.
3. すべてがダメなときのリセット方法: 上部のメニューからFile-> Hub Control Panelを選択. Stop My Server を押して, Start My Serverを押す.
4. The "reset all" for when nothing else works: Select File-> Hub Control Panel from the top menu. Press Stop My Server and then Start My Server.

• Notebookを破壊してしまったとか, 何か分け合って課題をfetch し直して初期状態からやり直したい場合は, fetchし直したい課題のフォルダをまるごと削除して, 上記の おかしなことになったら の「すべてがダメなときのリセット方法」に従って Jupyterサーバを再起動してください. 詳しい手順.
  1. 左ペインから「notebooks」 -> をそれぞれダブルクリックして, fetchし直したい課題のフォルダの中身を表示
  2. そのフォルダ内のファイルを全て選択して全て削除. サブフォルダがある場合は, それらが空でないと消せないので, 一旦それらサブフォルダ内のファイルを削除してから行う
  3. 上部のメニューからFile-> Hub Control Panelを選択. Stop My Server を押して, Start My Serverを押す.
  4. メニュから Nbgrader-> Assignment List を表示すると, 課題が再びFetch可能になっているはずなのでFetchする
  注: フォルダを消す作業は以下の, 端末経由で行うことも可能. その場合,

  cd ~/notebooks/
  rm -rf 消したい課題のフォルダ
  

• In case you want to re-fetch the assignment and start over for a reason, like you somehow corrupted the notebook, you first delete the whole folder of the assignment you want to start over and reset your Jupyter server following the procedure If things go wrong ... above. Details:
  1. In the left pane, double-click notebooks folder -> the folder of the assignment you want to delete to show the contents of the assignment folder.
  2. Select all files and delete them of that folder. To delete a folder, it must be empty. When it has subfolders, you must first delete contents in each of them before deleting them.
  3. Select File-> Hub Control Panel from the top menu. Press Stop My Server and then Start My Server.
  4. From the menu, select Nbgrader-> Assignment List and you should be able to find it.
  Note: when deleting a folder, you can do it in a terminal as explained below. In that case, just do

  cd ~/notebooks/
  rm -rf the-folder-you-want-to-delete
  

• Jupyterは説明やサンプルプログラムを与え, それを小規模に編集する環境としては良いが, エディタとしての機能は貧弱である. 普段使っているVSCode, Vim, Emacsなどを使いたいという向きもいることだろう.
• Jupyter is great for distributing texts and sample programs and lightly editing them. However, it is a poor environment for editing and writing programs. You might want to use editors you are familiar with, such as VSCode, Vim, or Emacs.
• それにはまずSSHを使ってリモートログインできるようになる必要がある
• As a prerequisite, you need to be able to remote-login the server using SSH
• SSHを使ってリモートログインできるようになるためには, 公開鍵認証というものを使って認証するため, 以下のような状態を作る必要がある. すなわち
  • SSHの秘密鍵が自分のマシンのホームディレクトリの .ssh/id_rsaという名前で,
  • SSHの公開鍵がJupyterサーバ(taulec.zapto.org)の .ssh/authorized_keysという名前で
  保存されている状態.
• To be able to remote-login with SSH, you need to set up the following state for public key authentication to work. That is, you have
  • SSH private key with the name .ssh/id_rsa in your machine
  • SSH public key with the name .ssh/authorized_keys in the Jupyter server (taulec.zapto.org)

• 秘密鍵のファイル名 (id_rsa) は使われている暗号方式によって異なる可能性があり, 他にはid_ed25519, id_dsa などがある
• The filename (id_rsa) depends on the crypto and it may be id_ed25519, id_dsa etc.
• 秘密鍵, 公開鍵は, 持っていなければ自分のマシン上で生成し, その中の公開鍵をJupyterサーバにアップロードする
• If you do not have a pair of private/public key, generate them on your machine and upload the public key to the Jupyter server

• 自分のホームフォルダの下に, .ssh/id_rsa と .ssh/id_rsa.pub (または id_ed25519, id_ed25519.pub など) というファイルがあれば, すでに鍵ペアを持っているのでここはスキップして良い
• If .ssh/id_rsa and .ssh/id_rsa.pub (or id_ed25519 and id_ed25519.pub etc.) already exist, you have a key pair and can skip this step
• その確かめ方: 自分のコンピュータでコマンドライン端末を開き以下を実行 (Windows 10の場合, 普通のコマンドプロンプト(cmd)ではなく, powershellをお勧めする(lsというコマンドはpowershellで使えるがcmdでは使えない)
• How to check: open the command line terminal in your computer and execute the following. On Windows 10, use powershell instead of the legacy command prompt (cmd). Powershell has ls command but cmd doesn't, for example.

$ cd .ssh/
$ ls
id_rsa id_rsa.pub

• 上記二つのファイル(他にもあるかも知れないが)が表示されれば, あるということ.
• If you see the above two files, among others, it means you already have them
• id_rsa が秘密鍵, id_rsa.pub (.pub で終わる) が公開鍵
• id_rsa is the private key, and id_rsa.pub (ends with .pub) the public key
• 鍵ペアを持っていなければ以下のコマンドで作る
• If you don't have a key pair, generate one by the following command

$ ssh-keygen

• なおこのコマンドは上記のファイルが存在していれば上書きするかどうかを聞いてくる. したがって間違えて, すでに鍵を持っているのにこのコマンドを実行してしまった場合もそこで気づくことが出来る.
• If they already exist, this command asks if you want to overwrite them, so even if you somehow miss existing files and execute this command, you will be so informed.

1. Jupyterlabの左側のファイル一覧でホームディレクトリが表示されている状態 (notebooksフォルダが一覧に表示されている状態)にして, Jupyterのメニュー直下のUpload Filesアイコン をクリックし, 公開鍵ファイル(id_rsa.pubなど)をアップロードする. これでサーバのホームディレクトリの下にid_rsa.pubというファイルができる
2. In the left pane of the Jupyterlab, choose the home directory so notebooks is shown there. Click the Upload Files icon right below the Jupyter menu to upload the public key file (id_rsa.pub or another). You will have the file id_rsa.pub under the server's home directory
3. Jupyterlab のメニューからFile -> New Launcher を選択. 表示された中からNotebookの下のBashを選択
4. Select File -> New Launcher in Jupyterlab menu. Among icons listed, open Bash below Notebook
5. セルに以下をコピーしてSHIFT + Enterで実行(~/notebooks/id_rsa.pubの部分はアップロードしたファイルの名に合わせて適宜変更)
6. Copy the following into a cell and execute it by SHIFT + Enter (change ~/notebooks/id_rsa.pub below accordingly if the file name is different)

mkdir -p ~/.ssh/
cp ~/id_rsa.pub ~/.ssh/authorized_keys
chmod 700 ~/.ssh
chmod 600 ~/.ssh/authorized_keys

7. 確認のために以下を実行
8. Do the following to check

ls -ld ~/.ssh
ls -l ~/.ssh/authorized_keys
cat ~/.ssh/authorized_keys

9. 以下のような結果が表示されれば成功
10. If you see something like this, you are all set

drwx------ 2 u2xxxx u2xxxx 4096 Oct  4 22:19 /home/u2xxxx/.ssh
-rw------- 1 u2xxxx u2xxxx 394 Oct  4 22:19 /home/u2xxxx/.ssh/authorized_keys
ssh-rsa AAAAB3NzaC1yc2EAAAADAQABAAABAQC9s/2Uiy187pQvMNVwlNMRTSNFnvj9EVwOPx9/qLuiQg086zXFB2eugxTL1Pw+ViQ  ...  ... uB/TiOnA0e6KDpU2h4 

11. ポイントは drwx------ -rw------- のところと最後の文字列 ssh-rsa AAAAB3Nza ... の雰囲気. 最後に以下のような文字列が表示されたらそれは鍵の形式が違う.
12. The points to check are drwx------ and -rw------- and whether the string in the last line looks like ssh-rsa AAAAB3Nza .... If the last line looks like the following, it means the key format is wrong
13. 以下は鍵の形式違いです
14. A key in a wrong format

=== BEGIN SSH2 PUBLIC KEY ===
gakjjkgdslkjgkljkjdakjdakljdkff
tuireuproeqiutreiurewuriouoweu0
      ...

=== END SSH2 PUBLIC KEY ===

• 自分のコンピュータのコマンドライン端末から

  $ ssh ユーザ名@taulec.zapto.org
  

• From your machine's command line terminal, do

  $ ssh your_username@taulec.zapto.org
  

• ユーザ名 の部分はJupyter環境での自分のユーザ名でu2xxxx のような文字列で. ITC-LMS経由の課題のフィードバックとして各人に通知している
• your_username is your user name in the Jupyter environment and should look like u2xxxx. You were informed through Comments from the instructor of an assignment in ITC-LMS
• うまく行くと, サーバのコマンドプロンプトが現れるはずである.
• If everything goes alright, you should see the server's command prompt

$ ssh u2xxxx@taulec.zapto.org
Welcome to Ubuntu 20.04.3 LTS (GNU/Linux 4.15.0-1054-aws x86_64)

 * Documentation:  https://help.ubuntu.com

   ...

Last login: Sun Dec 15 16:29:26 2019 from 111.99.149.67
$ 

• これで, 端末内で動くエディタ(emacs, vim, nano, etc.)であれば 何でも利用可能.
• Then you should be able to run any editor running within a terminal (emacs, vim, nano, etc.)
• 課題の一部として配布されるファイルはすべてホームディレクトリ直下の notebook内にある
• All files distributed as part of assignments are in notebook directory right under your home directory.
• VSCodeはGUIを要するため話が別で, 以下で説明する
• Running VSCode is another story as it requires GUI, explained below