Draft of X202309

XmacsLabs/X202309.tm

@@ -0,0 +1,88 @@
+<TeXmacs|2.1.2>
+
+<style|<tuple|seminar|comment>>
+
+<\body>
+  <\hide-preamble>
+    \;
+
+    <assign|x_0|<macro|<math|x<rsub|0>>>>
+
+    <assign|x_1|<math|x<rsub|1>>>
+
+    <assign|dlink|<macro|name|<hlink|[<arg|name>]|<merge|<arg|name>|.tm>>>>
+  </hide-preamble>
+
+  <doc-data|<doc-title|Seminar X202309>|<doc-author|<author-data|<author-name|Da>>>>
+
+  <section|Welcome>
+
+  20:30~20:45
+
+  <section|Topic: Scheme and Plotting>
+
+  20:45~21:15
+
+  <section|Discussion>
+
+  Before 21:30 \<#6B22\>\<#8FCE\>\<#5927\>\<#5BB6\>\<#4E00\>\<#952E\>\<#4E09\>\<#8FDE\>
+</body>
+
+<\initial>
+  <\collection>
+    <associate|info-flag|detailed>
+    <associate|page-medium|paper>
+    <associate|preamble|false>
+  </collection>
+</initial>
+
+<\references>
+  <\collection>
+    <associate|auto-1|<tuple|1|2|http://git.tmml.wiki/XmacsLabs/planet/raw/main/XmacsLabs/X202307.tm>>
+    <associate|auto-2|<tuple|2|2|http://git.tmml.wiki/XmacsLabs/planet/raw/main/XmacsLabs/X202307.tm>>
+    <associate|auto-3|<tuple|3|2|http://git.tmml.wiki/XmacsLabs/planet/raw/main/XmacsLabs/X202307.tm>>
+    <associate|auto-4|<tuple|3|3|http://git.tmml.wiki/XmacsLabs/planet/raw/main/XmacsLabs/X202307.tm>>
+    <associate|auto-5|<tuple|2.3|3|http://git.tmml.wiki/XmacsLabs/planet/raw/main/XmacsLabs/X202307.tm>>
+    <associate|auto-6|<tuple|3|4|http://git.tmml.wiki/XmacsLabs/planet/raw/main/XmacsLabs/X202307.tm>>
+    <associate|auto-7|<tuple|3|4|http://git.tmml.wiki/XmacsLabs/planet/raw/main/XmacsLabs/X202307.tm>>
+    <associate|auto-8|<tuple|3|6|http://git.tmml.wiki/XmacsLabs/planet/raw/main/XmacsLabs/X202307.tm>>
+  </collection>
+</references>
+
+<\auxiliary>
+  <\collection>
+    <\associate|toc>
+      <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|1<space|2spc>Welcome>
+      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
+      <no-break><pageref|auto-1><vspace|0.5fn>
+
+      <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|2<space|2spc>Topic:
+      Unicode support> <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
+      <no-break><pageref|auto-2><vspace|0.5fn>
+
+      <with|par-left|<quote|1tab>|2.1<space|2spc>tmu format
+      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
+      <no-break><pageref|auto-3>>
+
+      <with|par-left|<quote|1tab>|2.2<space|2spc>Unicode char table
+      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
+      <no-break><pageref|auto-4>>
+
+      <with|par-left|<quote|1tab>|2.3<space|2spc>Inner implemention of
+      unicode string <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
+      <no-break><pageref|auto-5>>
+
+      <with|par-left|<quote|1tab>|2.4<space|2spc>Unicode handling at user
+      interface <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
+      <no-break><pageref|auto-6>>
+
+      <with|par-left|<quote|1tab>|2.5<space|2spc>texmacs programming language
+      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
+      <no-break><pageref|auto-7>>
+
+      <vspace*|1fn><with|font-series|<quote|bold>|math-font-series|<quote|bold>|3<space|2spc>Discussion>
+      <datoms|<macro|x|<repeat|<arg|x>|<with|font-series|medium|<with|font-size|1|<space|0.2fn>.<space|0.2fn>>>>>|<htab|5mm>>
+      <no-break><pageref|auto-8><vspace|0.5fn>
+    </associate>
+  </collection>
+</auxiliary>

XmacsLabs/index.tm

@@ -35,18 +35,24 @@
 
   <section*|\<#65E5\>\<#5386\>>
 
-  <tabular|<tformat|<cwith|1|8|1|14|cell-halign|c>|<cwith|1|8|1|14|cell-valign|c>|<cwith|1|8|7|7|cell-lborder|0ln>|<cwith|1|8|6|6|cell-rborder|0ln>|<cwith|1|8|7|7|cell-rborder|1ln>|<cwith|1|8|8|8|cell-lborder|1ln>|<cwith|1|1|1|1|cell-row-span|1>|<cwith|1|1|1|1|cell-col-span|7>|<cwith|1|1|8|8|cell-row-span|1>|<cwith|1|1|8|8|cell-col-span|7>|<cwith|2|2|1|7|cell-halign|c>|<cwith|2|2|1|7|cell-valign|c>|<cwith|2|2|7|7|cell-tborder|0ln>|<cwith|2|2|7|7|cell-lborder|0ln>|<cwith|2|2|6|6|cell-rborder|0ln>|<cwith|2|2|7|7|cell-rborder|1ln>|<cwith|2|2|8|14|cell-halign|c>|<cwith|2|2|8|14|cell-valign|c>|<cwith|2|2|14|14|cell-tborder|0ln>|<cwith|1|1|8|14|cell-bborder|0ln>|<cwith|2|2|14|14|cell-bborder|0ln>|<cwith|3|3|14|14|cell-tborder|0ln>|<cwith|2|2|14|14|cell-lborder|0ln>|<cwith|2|2|13|13|cell-rborder|0ln>|<cwith|2|2|14|14|cell-rborder|0ln>|<twith|table-width|1par>|<twith|table-hmode|exact>|<cwith|4|4|1|1|cell-background|pastel
+  <tabular|<tformat|<cwith|1|9|1|14|cell-halign|c>|<cwith|1|9|1|14|cell-valign|c>|<cwith|1|9|7|7|cell-lborder|0ln>|<cwith|1|9|6|6|cell-rborder|0ln>|<cwith|1|9|7|7|cell-rborder|1ln>|<cwith|1|9|8|8|cell-lborder|1ln>|<cwith|1|1|1|1|cell-row-span|1>|<cwith|1|1|1|1|cell-col-span|7>|<cwith|1|1|8|8|cell-row-span|1>|<cwith|1|1|8|8|cell-col-span|7>|<cwith|2|2|1|7|cell-halign|c>|<cwith|2|2|1|7|cell-valign|c>|<cwith|2|2|7|7|cell-tborder|0ln>|<cwith|2|2|7|7|cell-lborder|0ln>|<cwith|2|2|6|6|cell-rborder|0ln>|<cwith|2|2|7|7|cell-rborder|1ln>|<cwith|2|2|8|14|cell-halign|c>|<cwith|2|2|8|14|cell-valign|c>|<cwith|2|2|14|14|cell-tborder|0ln>|<cwith|1|1|8|14|cell-bborder|0ln>|<cwith|2|2|14|14|cell-bborder|0ln>|<cwith|2|2|14|14|cell-lborder|0ln>|<cwith|2|2|13|13|cell-rborder|0ln>|<cwith|2|2|14|14|cell-rborder|0ln>|<twith|table-width|1par>|<twith|table-hmode|exact>|<cwith|5|5|1|1|cell-background|pastel
-  green>|<cwith|6|6|1|1|cell-background|pastel
+  green>|<cwith|7|7|1|1|cell-background|pastel
-  green>|<cwith|8|8|1|1|cell-background|pastel
+  green>|<cwith|5|5|8|8|cell-background|pastel
-  cyan>|<cwith|5|5|8|8|cell-background|pastel
   green>|<cwith|7|7|8|8|cell-background|pastel
-  green>|<table|<row|<cell|2023\<#5E74\>\<#56DB\>\<#6708\>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|2023\<#5E74\>\<#4E94\>\<#6708\>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|\<#5468\>\<#65E5\>>|<cell|\<#5468\>\<#4E00\>>|<cell|\<#5468\>\<#4E8C\>>|<cell|\<#5468\>\<#4E09\>>|<cell|\<#5468\>\<#56DB\>>|<cell|\<#5468\>\<#4E94\>>|<cell|\<#5468\>\<#516D\>>|<cell|\<#5468\>\<#65E5\>>|<cell|\<#5468\>\<#4E00\>>|<cell|\<#5468\>\<#4E8C\>>|<cell|\<#5468\>\<#4E09\>>|<cell|\<#5468\>\<#56DB\>>|<cell|\<#5468\>\<#4E94\>>|<cell|\<#5468\>\<#516D\>>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|1>|<cell|>|<cell|1>|<cell|2>|<cell|3>|<cell|4>|<cell|5>|<cell|6>>|<row|<cell|2<label|\<#7B2C\>\<#4E94\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>>>|<cell|3>|<cell|4>|<cell|5>|<cell|6>|<cell|7>|<cell|8>|<cell|7>|<cell|8>|<cell|9>|<cell|10>|<cell|11>|<cell|12>|<cell|13>>|<row|<cell|9>|<cell|10>|<cell|11>|<cell|12>|<cell|13>|<cell|14>|<cell|15>|<cell|14<label|\<#7B2C\>\<#4E03\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>>>|<cell|15>|<cell|16>|<cell|17>|<cell|18>|<cell|19>|<cell|20>>|<row|<cell|16<label|\<#7B2C\>\<#516D\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>>>|<cell|17>|<cell|18>|<cell|19>|<cell|20>|<cell|21>|<cell|22>|<cell|21>|<cell|22>|<cell|23>|<cell|24>|<cell|25>|<cell|26>|<cell|27>>|<row|<cell|23>|<cell|24>|<cell|25>|<cell|26>|<cell|27>|<cell|28>|<cell|29>|<cell|28<label|\<#7B2C\>\<#516B\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>>>|<cell|29>|<cell|30>|<cell|31>|<cell|>|<cell|>|<cell|>>|<row|<cell|30>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>>>>
+  green>|<table|<row|<cell|2023\<#5E74\>\<#516D\>\<#6708\>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|2023\<#5E74\>\<#4E03\>\<#6708\>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|\<#5468\>\<#65E5\>>|<cell|\<#5468\>\<#4E00\>>|<cell|\<#5468\>\<#4E8C\>>|<cell|\<#5468\>\<#4E09\>>|<cell|\<#5468\>\<#56DB\>>|<cell|\<#5468\>\<#4E94\>>|<cell|\<#5468\>\<#516D\>>|<cell|\<#5468\>\<#65E5\>>|<cell|\<#5468\>\<#4E00\>>|<cell|\<#5468\>\<#4E8C\>>|<cell|\<#5468\>\<#4E09\>>|<cell|\<#5468\>\<#56DB\>>|<cell|\<#5468\>\<#4E94\>>|<cell|\<#5468\>\<#516D\>>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|1>|<cell|2>|<cell|3>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|1>>|<row|<cell|4>|<cell|5>|<cell|6>|<cell|7>|<cell|8>|<cell|9>|<cell|10>|<cell|2>|<cell|3>|<cell|4>|<cell|5>|<cell|6>|<cell|7>|<cell|8>>|<row|<cell|11<label|\<#7B2C\>\<#4E5D\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>>>|<cell|12>|<cell|13>|<cell|14>|<cell|15>|<cell|16>|<cell|17>|<cell|9>|<cell|10>|<cell|11>|<cell|12>|<cell|13>|<cell|14>|<cell|15>>|<row|<cell|18>|<cell|19>|<cell|20>|<cell|21>|<cell|22>|<cell|23>|<cell|24>|<cell|16>|<cell|17>|<cell|18>|<cell|19>|<cell|20>|<cell|21>|<cell|22>>|<row|<cell|25<label|\<#7B2C\>\<#5341\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>>>|<cell|26>|<cell|27>|<cell|28>|<cell|29>|<cell|30>|<cell|>|<cell|23>|<cell|24>|<cell|25>|<cell|26>|<cell|27>|<cell|28>|<cell|29>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|30>|<cell|31>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>>>>
+
+  <tabular|<tformat|<cwith|1|8|1|14|cell-halign|c>|<cwith|1|8|1|14|cell-valign|c>|<cwith|1|8|7|7|cell-lborder|0ln>|<cwith|1|8|6|6|cell-rborder|0ln>|<cwith|1|8|7|7|cell-rborder|1ln>|<cwith|1|8|8|8|cell-lborder|1ln>|<cwith|1|1|1|1|cell-row-span|1>|<cwith|1|1|1|1|cell-col-span|7>|<cwith|1|1|8|8|cell-row-span|1>|<cwith|1|1|8|8|cell-col-span|7>|<cwith|2|2|1|7|cell-halign|c>|<cwith|2|2|1|7|cell-valign|c>|<cwith|2|2|7|7|cell-tborder|0ln>|<cwith|2|2|7|7|cell-lborder|0ln>|<cwith|2|2|6|6|cell-rborder|0ln>|<cwith|2|2|7|7|cell-rborder|1ln>|<cwith|2|2|8|14|cell-halign|c>|<cwith|2|2|8|14|cell-valign|c>|<cwith|2|2|14|14|cell-tborder|0ln>|<cwith|1|1|8|14|cell-bborder|0ln>|<cwith|2|2|14|14|cell-bborder|0ln>|<cwith|3|3|14|14|cell-tborder|0ln>|<cwith|2|2|14|14|cell-lborder|0ln>|<cwith|2|2|13|13|cell-rborder|0ln>|<cwith|2|2|14|14|cell-rborder|0ln>|<twith|table-width|1par>|<twith|table-hmode|exact>|<cwith|8|8|1|1|cell-background|pastel
+  cyan>|<cwith|6|6|1|1|cell-background|pastel
+  red>|<cwith|4|4|1|1|cell-background|pastel
+  red>|<cwith|5|5|8|8|cell-background|pastel
+  red>|<cwith|7|7|8|8|cell-background|pastel
+  red>|<table|<row|<cell|2023\<#5E74\>\<#56DB\>\<#6708\>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|2023\<#5E74\>\<#4E94\>\<#6708\>>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>|<row|<cell|\<#5468\>\<#65E5\>>|<cell|\<#5468\>\<#4E00\>>|<cell|\<#5468\>\<#4E8C\>>|<cell|\<#5468\>\<#4E09\>>|<cell|\<#5468\>\<#56DB\>>|<cell|\<#5468\>\<#4E94\>>|<cell|\<#5468\>\<#516D\>>|<cell|\<#5468\>\<#65E5\>>|<cell|\<#5468\>\<#4E00\>>|<cell|\<#5468\>\<#4E8C\>>|<cell|\<#5468\>\<#4E09\>>|<cell|\<#5468\>\<#56DB\>>|<cell|\<#5468\>\<#4E94\>>|<cell|\<#5468\>\<#516D\>>>|<row|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|1>|<cell|>|<cell|1>|<cell|2>|<cell|3>|<cell|4>|<cell|5>|<cell|6>>|<row|<cell|2<label|\<#7B2C\>\<#4E94\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>>>|<cell|3>|<cell|4>|<cell|5>|<cell|6>|<cell|7>|<cell|8>|<cell|7>|<cell|8>|<cell|9>|<cell|10>|<cell|11>|<cell|12>|<cell|13>>|<row|<cell|9>|<cell|10>|<cell|11>|<cell|12>|<cell|13>|<cell|14>|<cell|15>|<cell|14<label|\<#7B2C\>\<#4E03\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>>>|<cell|15>|<cell|16>|<cell|17>|<cell|18>|<cell|19>|<cell|20>>|<row|<cell|16<label|\<#7B2C\>\<#516D\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>>>|<cell|17>|<cell|18>|<cell|19>|<cell|20>|<cell|21>|<cell|22>|<cell|21>|<cell|22>|<cell|23>|<cell|24>|<cell|25>|<cell|26>|<cell|27>>|<row|<cell|23>|<cell|24>|<cell|25>|<cell|26>|<cell|27>|<cell|28>|<cell|29>|<cell|28<label|\<#7B2C\>\<#516B\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>>>|<cell|29>|<cell|30>|<cell|31>|<cell|>|<cell|>|<cell|>>|<row|<cell|30>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>|<cell|>>>>>
 
   <\wide-tabular>
     <tformat|<cwith|1|-1|1|-1|cell-halign|c>|<cwith|1|-1|1|-1|cell-valign|c>|<cwith|4|4|1|1|cell-background|pastel
-    red>|<cwith|2|2|7|7|cell-tborder|0ln>|<cwith|7|7|7|7|cell-bborder|0ln>|<cwith|1|-1|7|7|cell-lborder|0ln>|<cwith|1|-1|6|6|cell-rborder|0ln>|<cwith|1|-1|7|7|cell-rborder|1ln>|<cwith|1|-1|8|8|cell-lborder|1ln>|<cwith|1|1|1|1|cell-row-span|1>|<cwith|1|1|1|1|cell-col-span|7>|<cwith|1|1|8|8|cell-row-span|1>|<cwith|1|1|8|8|cell-col-span|7>|<cwith|6|6|8|8|cell-background|pastel
+    red>|<cwith|2|2|7|7|cell-tborder|0ln>|<cwith|7|7|7|7|cell-bborder|0ln>|<cwith|1|-1|7|7|cell-lborder|0ln>|<cwith|1|-1|6|6|cell-rborder|0ln>|<cwith|1|-1|7|7|cell-rborder|1ln>|<cwith|1|-1|8|8|cell-lborder|1ln>|<cwith|1|1|1|1|cell-row-span|1>|<cwith|1|1|1|1|cell-col-span|7>|<cwith|1|1|8|8|cell-row-span|1>|<cwith|1|1|8|8|cell-col-span|7>|<cwith|6|6|1|1|cell-background|pastel
-    green>|<cwith|6|6|1|1|cell-background|pastel
+    red>|<cwith|4|4|8|8|cell-background|pastel
-    red>|<cwith|4|4|8|8|cell-background|pastel red>|<table|<row|<\cell>
+    red>|<cwith|6|6|8|8|cell-background|pastel cyan>|<table|<row|<\cell>
       2023\<#5E74\>\<#4E8C\>\<#6708\>
     </cell>|<\cell>
       \;
@@ -289,6 +295,8 @@
   <label|sec:2023><section*|2023\<#5E74\>\<#4F1A\>\<#8BAE\>\<#8BB0\>\<#5F55\>>
 
   <\itemize>
+    <item>Da: <gitlink|X202309>
+
     <item>jingkaimori: <gitlink|X202307>
 
     <item>jadelight: <gitlink|X202306>\<#FF08\><hlink|B\<#7AD9\>\<#56DE\>\<#653E\>|https://www.bilibili.com/video/BV1Sc411p7cp/>\<#FF09\>
@@ -350,10 +358,12 @@
     <associate|\<#7B2C\>\<#4E00\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>|<tuple|?|?>>
     <associate|\<#7B2C\>\<#4E03\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>|<tuple|?|?>>
     <associate|\<#7B2C\>\<#4E09\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>|<tuple|?|?>>
+    <associate|\<#7B2C\>\<#4E5D\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>|<tuple|?|?>>
     <associate|\<#7B2C\>\<#4E8C\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>|<tuple|?|?>>
     <associate|\<#7B2C\>\<#4E94\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>|<tuple|?|?>>
     <associate|\<#7B2C\>\<#516B\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>|<tuple|?|?>>
     <associate|\<#7B2C\>\<#516D\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>|<tuple|?|?>>
+    <associate|\<#7B2C\>\<#5341\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>|<tuple|?|?>>
     <associate|\<#7B2C\>\<#56DB\>\<#6B21\>\<#7814\>\<#8BA8\>\<#4F1A\>\<#FF08\>\<#8DF3\>\<#8FC7\>\<#FF09\>|<tuple|?|?>>
     <associate|auto-1|<tuple|?|?>>
     <associate|auto-2|<tuple|<with|mode|<quote|math>|<rigid|\<circ\>>>|?>>