diff options
Diffstat (limited to '2023')
| -rw-r--r-- | 2023/03/14/螺内酯片/index.html | 2 | ||||
| -rw-r--r-- | 2023/04/22/二零二三年四月二十二日/index.html (renamed from 2023/04/22/沙漠/index.html) | 6 | ||||
| -rw-r--r-- | 2023/04/25/二零二三年四月二十五日/index.html | 2 | ||||
| -rw-r--r-- | 2023/06/17/发热及超高热危象/index.html | 2 | ||||
| -rw-r--r-- | 2023/06/22/灯笼草/index.html (renamed from 2023/06/17/Programming_Language_Concepts_1/index.html) | 68 |
5 files changed, 48 insertions, 32 deletions
diff --git a/2023/03/14/螺内酯片/index.html b/2023/03/14/螺内酯片/index.html index a1bedd8e..ba4fb592 100644 --- a/2023/03/14/螺内酯片/index.html +++ b/2023/03/14/螺内酯片/index.html @@ -224,7 +224,7 @@ <div class="icon arrow-left"></div> <div class="post-link"> - <a href="/2023/04/22/%E6%B2%99%E6%BC%A0/">Prev</a> + <a href="/2023/04/22/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%9B%9B%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%E6%97%A5/">Prev</a> </div> </div> diff --git a/2023/04/22/沙漠/index.html b/2023/04/22/二零二三年四月二十二日/index.html index a719934e..25596502 100644 --- a/2023/04/22/沙漠/index.html +++ b/2023/04/22/二零二三年四月二十二日/index.html @@ -20,7 +20,7 @@ -<title>沙漠 | 暮秋小屋</title> +<title>二零二三年四月二十二日 | 暮秋小屋</title> @@ -135,7 +135,7 @@ <div class="post-title"> - 沙漠 + 二零二三年四月二十二日 </div> @@ -145,7 +145,7 @@ </div> <div class="post-img"> - <div class="h-line-primary"></div> + <img src="/img/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%9B%9B%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%E6%97%A5.jpg" alt="featured_image"> </div> </div> diff --git a/2023/04/25/二零二三年四月二十五日/index.html b/2023/04/25/二零二三年四月二十五日/index.html index 5485dcc8..b13a0366 100644 --- a/2023/04/25/二零二三年四月二十五日/index.html +++ b/2023/04/25/二零二三年四月二十五日/index.html @@ -180,7 +180,7 @@ <div class="icon arrow-right"></div> <div class="post-link"> - <a href="/2023/04/22/%E6%B2%99%E6%BC%A0/">Next</a> + <a href="/2023/04/22/%E4%BA%8C%E9%9B%B6%E4%BA%8C%E4%B8%89%E5%B9%B4%E5%9B%9B%E6%9C%88%E4%BA%8C%E5%8D%81%E4%BA%8C%E6%97%A5/">Next</a> </div> </div> diff --git a/2023/06/17/发热及超高热危象/index.html b/2023/06/17/发热及超高热危象/index.html index 110de296..2935f4ab 100644 --- a/2023/06/17/发热及超高热危象/index.html +++ b/2023/06/17/发热及超高热危象/index.html @@ -291,7 +291,7 @@ <div class="icon arrow-left"></div> <div class="post-link"> - <a href="/2023/06/17/Programming_Language_Concepts_1/">Prev</a> + <a href="/2023/06/22/%E7%81%AF%E7%AC%BC%E8%8D%89/">Prev</a> </div> </div> diff --git a/2023/06/17/Programming_Language_Concepts_1/index.html b/2023/06/22/灯笼草/index.html index 9a1b2e63..7d720d5e 100644 --- a/2023/06/17/Programming_Language_Concepts_1/index.html +++ b/2023/06/22/灯笼草/index.html @@ -20,7 +20,7 @@ -<title>Programming Language Concepts Reading Notes | 暮秋小屋</title> +<title>灯笼草 | 暮秋小屋</title> @@ -133,20 +133,14 @@ <span class="post-tag"> - <a href="/tags/Technique/"> - Technique + <a href="/tags/Medicine/"> + Medicine </a> </span> <span class="post-tag"> - <a href="/tags/F/"> - F# - </a> - </span> - - <span class="post-tag"> - <a href="/tags/PL/"> - PL + <a href="/tags/Life/"> + Life </a> </span> @@ -155,12 +149,12 @@ <div class="post-title"> - Programming Language Concepts Reading Notes + 灯笼草 </div> <span class="post-date"> - Jun 17, 2023 + Jun 22, 2023 </span> </div> <div class="post-img"> @@ -170,24 +164,46 @@ </div> </div> <div class="post-content"> - <h1 id="Introduction"><a href="#Introduction" class="headerlink" title="Introduction"></a>Introduction</h1><blockquote> -<p>how to represent arithmetic expressions and other program fragments as data structures in F# as well as Java, and how to compute with such program fragments. We also introduce various basic concepts of programming languages.</p> + <p>今天在菜园子里看到了野生的灯笼草，都结果了：</p> +<p><img src="/img/%E7%81%AF%E7%AC%BC%E8%8D%89.jpg"></p> +<p>灯笼果别名为小果酸浆、秘鲁苦蘵、打头泡、灯笼草等，茄科酸浆属多年生草本植物。<br>灯笼果茎直立，叶较厚，阔卵形或心脏形，两面密生柔毛；花单独腋生，花萼阔钟状，花冠阔钟状，黄色而喉部有紫色斑纹，花丝及花药蓝紫色，花药长约3毫米。果萼薄纸质，淡绿色或淡黄色，浆果成熟时黄色，种子黄色，圆盘状，夏季开花结果。生于田间、路旁、村边。我国南北各地均有分市。</p> +<p><strong>不要与<a target="_blank" rel="noopener" href="https://en.wikipedia.org/wiki/Gooseberry">醋栗</a>混淆</strong></p> +<p>醋栗长这样：</p> +<p><img src="/img/%E9%86%8B%E6%A0%97.jpg"></p> +<hr> +<h2 id="性味"><a href="#性味" class="headerlink" title="性味"></a>性味</h2><ul> +<li><p>《陆川本草》：”甘淡，微寒。”</p> +</li> +<li><p>《南宁市药物志》：”苦，寒，微甘。”</p> +</li> +</ul> +<h2 id="功能主治"><a href="#功能主治" class="headerlink" title="功能主治"></a>功能主治</h2><blockquote> +<p>清热，行气，止痛，消肿。治感冒，痄腮，喉痛，咳嗽，腹胀，疝气，天疱疮。</p> </blockquote> -<h2 id="Syntax-and-Semantics"><a href="#Syntax-and-Semantics" class="headerlink" title="Syntax and Semantics"></a>Syntax and Semantics</h2><p>What does this (well-formed) program mean, how does it behave—what happens when we execute it?</p> <ul> -<li>One may distinguish two kinds of syntax<ol> -<li>By concrete syntax we mean the representation of a program as a text.</li> -<li>By abstract syntax we mean the representation of a programs as a tree or by an object structure.</li> -</ol> +<li><p>《陆川本草》：”行气，消胀，利尿。治腹胀，睾丸炎，疝气。”</p> +</li> +<li><p>《南宁市药物志》：”清热杀虫，止痛消肿。治热眼，喉痛，咳嗽；外敷毒疮，并熏洗阴囊肿大。”</p> +</li> +<li><p>《生草药手册》：”内服治伤寒或小肠疝气。外洗治天疱疮。”</p> +</li> +<li><p>《中国药植图鉴》：”功同酸浆。”</p> +</li> +<li><p>广州空军《常用中草药手册》：”治感冒发热，腮腺炎，支气管炎，疱疹，疖疮，疝气痛。”</p> +</li> +</ul> +<h2 id="用法用量"><a href="#用法用量" class="headerlink" title="用法用量"></a>用法用量</h2><ul> +<li>内服：煎汤，3 ~ 5钱。</li> +<li>外用：捣敷或煎水洗。</li> +</ul> +<h2 id="引用"><a href="#引用" class="headerlink" title="引用"></a>引用</h2><ul> +<li><p>《本草纲目》旧版草部第十六卷，草之五：燕京野果名红姑娘，外垂降囊，中含赤子如珠，酸甘可食盈盈绕砌，与翠草同芳，亦自可爱。捣计服治黄病（即黄胆性肝炎）多效，治上气咳嗽风热，明目，付小儿内辟等多种疾病。东北地区种植较广泛，其他地区种植较少，仍属稀特蔬菜。</p> +</li> +<li><p>《别录》：“酸浆，生荆、楚川泽及人家田园中。五月采，阴干。”陶弘景：“酸浆，处处人家多有。叶亦可食。子作房，房中有子，如梅李大，皆黄赤色。”《唐本草》：“灯笼草，所在有之。八月采。枝干高三、四尺，有花，红色，状若灯笼，内有子，红色可爱。根、茎、花、叶并入药用。”</p> </li> -<li>One may distinguish two kinds of semantics<ol> -<li>Dynamic semantics concerns the meaning or effect of a program at run-time.</li> -<li>Static semantics roughly concerns the compile-time correctness of the program (are variables declared, is the program well-typed, and so on)</li> -</ol> +<li><p>《梦溪笔谈》：“苦耽，即本草酸浆也。河西番界中酸浆有盈丈者。”《本草衍义》：“酸浆，今天下皆有之。苗如天茄子，开小白花，结青壳，熟则深红，壳中子大如樱，亦红色，樱中复有细子，如落苏之子，食之有青草气。此即苦耽也。”</p> </li> </ul> -<p>Static semantics can be checked without executing the program, and may be enforced by closedness checks (type checks, type inference, and more…).</p> -<p>In the conditional expression <code>if e1 then e2 else e3</code>, the interpreter might start by testing whether expressions e2 and e3 are syntactically identical, in which case there is no need to evaluate e1, only e2 (or e3). Although possible, <strong>this shortcut is rarely useful</strong>.</p> </div> |