ラベル git の投稿を表示しています。 すべての投稿を表示
ラベル git の投稿を表示しています。 すべての投稿を表示

2019-07-30

計算機演習 (2019-14) Scala (4)

今回はプログラミング言語Scalaの最終回で、再帰的定義によるリストの作成、リストの長さなどを求める(オブジェクト指向の)計算、リストに対するmap関数といった内容を取り上げました。

これでこの授業は一通り終了です。本年度は、数式処理システムMathematicaに加えて、バージョン管理システムGit、文書処理システムLaTeX、プログラミング言語Scalaを使い、数学と計算機が関わる内容をいくつかの角度から学びました。プログラミングは、最初は戸惑う人もいたようですが、回数を重ねるにつれて、何を考えればよいかがだんだんとつかめるようになってきていたように見えます。今後、数学を計算機の側面から眺めたり、触れたりする上での一助になることを望みます。

2019-07-23

計算機演習 (2019-13) Scala (3)

今回は、プログラミング言語Scalaの実習で、while式とfor式による繰り返し処理を行いました。題材は、while式にはEuclid互除法、for式には台形則による数値積分を取り上げました。

次回はこの授業の最終回ですが、リストの作り方と、リストを用いた計算を行います。

2019-07-16

計算機演習 (2019-12) Scala (2)

今回は、プログラミング言語Scalaの2回目で、条件分岐や関数の再帰的定義を、Euclid互除法を題材に行いました。

次回は、繰り返しの制御構造を中心に扱う予定です。

2019-07-09

計算機演習 (2019-11) Scala (1)

今回からこの授業の残りの期間は、プログラミング言語Scalaによるプログラミングを行います。今回は、REPL (Read-Eval-Print-Loop) を用いた数や文字列の演算、最初のいわゆる "Hello, world" プログラム、簡単な数値の演算のプログラムの作成を行いました。

次回は条件分岐と関数の再帰的定義を学びます。

2019-07-02

計算機演習 (2019-10) LaTeX (3)

今回は、LaTeX と Beamer パッケージを用いたプレゼンテーションの作成に取り組みました。

題材は、前々回のレシピか前回の数学を使って書いてもらったので、内容選びには困らなかったと思いますが、TeXのコンパイル時にこれまであまり見たことがないエラーが続出し、サポートに追われました。それでも、ネタがあらかじめ揃っていたからか、授業直後にはそれなりの人数の人達がレポートを完成させていたようです(本当に完成しているかどうかは実際に評価しないとわかりませんが)。

次回からはプログラミング言語Scalaの実習に入ります。

2019-06-25

計算機演習 (2019-09) LaTeX (2)

今回は、前回に引き続き、LaTeXの実習を行いました。今回は数式を含む文書の作成で、番号付き数式の作成、それらの式番号の引用や、参考文献リストの作成とそれらの引用も行いました。

Gitを使ったレポートの提出は、まだ手順に習熟していない学生もいるようでしたが、今日の授業中にだいぶ落ち着いてきた印象です。サポートのTAが活躍しています。

次回はLaTeXの3回目で、Beamerパッケージを用いたプレゼンテーションスライドの作成を行います。

2019-06-18

計算機演習 (2019-08) LaTeX (1)

今回は、前回の授業で説明を残した、pull requestによるレポートの提出から始めました。

次に、LaTeXの1回目に入りました。今回は、LaTeXのtexファイルをを編集、コンパイルし、PDFの文書を作る手順を説明し、取り組んでもらいました。

次回はLaTeXの2回目で、数式を含む文書の作成を行います。

2019-06-11

計算機演習 (2019-07) Git (1)

本年度から、計算機演習の授業では、Mathematicaに続いて、文書処理(組版)システムLaTeXとプログラミング言語Scalaに取り組みます。そして、LaTeXとScalaの授業では、バージョン管理システムGitを使い、GitのオンラインリポジトリサービスGitHubを使って、レポートの提出や評価を行います。演習に使うシステムも、前回までのWindowsに代えて、今回以降は全学計算機システムに入っているUbuntu (Linux) を使います。

今回は、GitとGitHubを使うための準備と練習の回ということで、以下を行いました。授業が始まる前に、GitHubにユーザ登録することを宿題としていました。テキストやレポート課題といった教材は、GitHub Classroomを使って配り、学生ごとに個別のリポジトリを作って課題に取り組んでもらいます。

  1. 端末上でsshの鍵を作成し、公開鍵をGitHubの各自のアカウントに登録する。
  2. GitHub Classroomでコピーしたリポジトリは授業担当教員の管理下に置き、評価する側が書き込む。学生は、そのリポジトリをforkし、自分のアカウントにforkしたリポジトリで作業を行う。
  3. 自分のアカウントにforkしたGitリポジトリを、手元の端末にcloneする。(git clone)
  4. エディタはMicrosoftのVisual Studio Code (以下 "VSCode") を標準で使う。VSCodeに日本語の拡張機能LaTeXの拡張機能をインストールする。
  5. 今回は、レポートの題材として、Markdown文書の書き方を身につける。文書のネタは「料理のレシピ」。各自、題材とする料理を選び、Markdownの代表的な記法を使い、あらかじめ配ったフォーマットに従ってレシピを書く。
  6. VSCodeで、手元のリポジトリに更新をcommitし、GitHubのリポジトリにpushする。
最後に、レポートが仕上がったらGitHubでpull requestを送ってレポートを提出、となる流れですが、今日は時間の都合で、pull requestまで進みませんでした。そこで、次回の授業までにレポートを完成してもらい、次回の授業時にpull requestの説明を行います。

次回以降の3回は、LaTeXの使い方を学びます。