experience: add academic service

1 files changed, 0 insertions, 38 deletions

diff --git a/experience/2020-03_nii.nix b/experience/2020-03_nii.nix
deleted file mode 100644
index 0324f3d..0000000
--- a/experience/2020-03_nii.nix
+++ /dev/null
@@ -1,38 +0,0 @@
-{...}: {
-  date = {
-    start = {
-      year = 2020;
-      month = 3;
-      day = 1;
-    };
-    end = {
-      year = 2020;
-      month = 7;
-      day = 31;
-    };
-  };
-  institution = {
-    position = "research intern in Applied Category Theory";
-    name = "ERATO MMSD, NII";
-    url = "https://group-mmm.org/eratommsd/";
-    location = "Tōkyō, Japan";
-  };
-  supervisors = [
-    {
-      name = "Ichiro Hasuo";
-      url = "https://group-mmm.org/~ichiro/";
-    }
-    {
-      name = "Jérémy Dubut";
-      url = "https://group-mmm.org/~dubut/";
-    }
-  ];
-  assets = [
-    {
-      name = "internship report";
-      id = "aristoteFibrationalFrameworkNested2020";
-      type = "Writings";
-    }
-  ];
-  description = "Generalized a greatest-fixed-points- and safety-games-based fibrational framework for bisimulations to nested fixed points and parity games.";
-}