History for SpecificationSimulatorExperiments / courseA
2024-09-13
ST_DTRAMの課題スクショを修正
okazakitakehiro committed on 13 Sep
各コースの最終タスクからClosingに行けるようにリンクを貼りました
okazakitakehiro committed on 13 Sep
Alloy と DTRAM の説明をさらに改善した.
Naoya Nitta committed on 13 Sep
2024-09-12
Alloy と DTRAM の説明をそれぞれ付け加えた.
Naoya Nitta committed on 12 Sep
Alloy と DTRAM の関数の説明をさらに追加した.
Naoya Nitta committed on 12 Sep
Merge remote-tracking branch 'origin/master'
Naoya Nitta committed on 12 Sep
Alloy と DTRAM の関数の説明を追加した.
Naoya Nitta committed on 12 Sep
AlloyとDTRAMについての説明のリンクを後半の課題の所に貼りました
okazakitakehiro committed on 12 Sep
綴り間違い等を修正.
Naoya Nitta committed on 12 Sep
各モデルファイルについての課題のリンクを貼りました
okazakitakehiro committed on 12 Sep
各課題のアンケートのリンクを貼りました
okazakitakehiro committed on 12 Sep
イントロダクションを追加し,コースごとの実験の流れの説明の修正を行った ...
Naoya Nitta committed on 12 Sep
2024-09-11
Merge remote-tracking branch 'origin/master'
Naoya Nitta committed on 11 Sep
作業全体の流れを書いた.
Naoya Nitta committed on 11 Sep
全コースの課題コードの色付け
okazakitakehiro committed on 11 Sep
課題の説明の文章を段落分けした. ...
Naoya Nitta committed on 11 Sep
2024-09-10
Merge remote-tracking branch 'origin/master'
Naoya Nitta committed on 10 Sep
すべてのコースのInventoryManagementとSimpleTwitterの仕様を書いた.
Naoya Nitta committed on 10 Sep
全てのコースの課題にあるスクショの一部変更
okazakitakehiro committed on 10 Sep
すべてのコースのAlloyとDTRAMの概要説明を書いた.
Naoya Nitta committed on 10 Sep
岡﨑担当領域のcourseDと各コースのページ遷移の調整
okazakitakehiro committed on 10 Sep
岡﨑担当領域のcourseB
okazakitakehiro committed on 10 Sep
岡﨑担当領域のcourseAの完成
okazakitakehiro committed on 10 Sep
courseAのIM_DTRAMの修正
okazakitakehiro committed on 10 Sep
courseAのIM_AlloyとST_Alloyの修正
okazakitakehiro committed on 10 Sep
courseAの修正とcourseBのIM_AlloyとIM_DTRAMのプロトタイプ.
okazakitakehiro committed on 10 Sep
2024-09-09
IM_DTRAMの修正.
okazakitakehiro committed on 9 Sep
courseA全体の完成.
okazakitakehiro committed on 9 Sep
IM_AlloyとIM_DTRAMの完成.
okazakitakehiro committed on 9 Sep
ST_DTRAMの半角スペースの修正.
okazakitakehiro committed on 9 Sep