「ATSプログラミング入門」読書会@名古屋 第4回

イベント内容

概要

arduino-ats

ATS言語 は依存型と線形型をそなえるプログラミング言語で、これまでのプログラミングより強くソフトウェアの安全性を強化できます。しかも Arduinoのような小規模なマイコン上でさえ動作させる ことができます。にもかかわらず 2004年の初出論文 からユーザ数は増えていません。

そこで、本勉強会では 「ATSプログラミング入門」 という入門向けのATS言語の公式ドキュメントを読みます。読書会の形式としては、毎回担当を決めて担当の章を声を出して朗読します。朗読の途中で理解できないことがあったら皆でワイワイとツッコミを入れて理解を深めましょう。

集合場所

集合場所は 地下鉄名港線六番町駅前のファミリーマート です!場所がわからなかったり、遅刻したりなどの場合には 090-3524-7064 に電話するか、@masterq_mogumog 宛てにつぶやいてください。

今回の内容

今回は、”IV. 線形観と線形型を使ったプログラミング - 15. 線形データ型としてのデータ観型 (dataviewtype) - 線形2分探索木” から再開します。朗読係は 岡部 です。

注意事項

※ こちらのイベント情報は、外部サイトから取得した情報を掲載しています。
※ 掲載タイミングや更新頻度によっては、情報提供元ページの内容と差異が発生しますので予めご了承ください。
※ 最新情報の確認や参加申込手続き、イベントに関するお問い合わせ等は情報提供元ページにてお願いします。

類似しているイベント

第44回 CoderDojo Owari

愛知県岩倉市本町神明西20 岩倉市生涯学習センター

10:00 〜12:00

connpass

11月 1 SUN

第45回 CoderDojo Owari

愛知県岩倉市本町神明西20 岩倉市生涯学習センター

10:00 〜12:00

connpass

12月 13 SUN