-
-
Notifications
You must be signed in to change notification settings - Fork 0
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Update on 2024-07-03 from miRoox-m4F2aE
- Loading branch information
Showing
23 changed files
with
549 additions
and
48 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Large diffs are not rendered by default.
Oops, something went wrong.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,8 @@ | ||
created: 20240626111009086 | ||
creator: miRoox | ||
modified: 20240626125409275 | ||
modified: 20240702142435159 | ||
modifier: miRoox | ||
tags: $:/tags/Stylesheet $internal | ||
tags: $:/tags/Stylesheet $:/internal | ||
title: $:/Style/WarningBanner | ||
tmap.id: 1419b397-de66-4a12-b50a-122e313128fa | ||
type: text/css |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
created: 20240702131518070 | ||
creator: miRoox | ||
list-after: | ||
modified: 20240702142435159 | ||
modifier: miRoox | ||
tags: $:/internal $:/tags/ViewTemplate/Subtitle | ||
title: $:/subtitle/author | ||
type: text/vnd.tiddlywiki | ||
|
||
<$reveal type="nomatch" state="!!author" tag="span" text=""> | ||
原作者:<$link to={{!!author}}/> | ||
</$reveal> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,8 +1,8 @@ | ||
created: 20240625062202035 | ||
creator: miRoox | ||
modified: 20240625062525968 | ||
modified: 20240702142435163 | ||
modifier: miRoox | ||
tags: $internal | ||
tags: $:/internal | ||
title: daily-update.sh | ||
tmap.id: 1db02c34-eef0-43e2-8822-331a354aaac2 | ||
type: text/x-sh |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,10 @@ | ||
created: 20240702085453492 | ||
creator: miRoox | ||
modified: 20240702091239904 | ||
modifier: miRoox | ||
tags: 日本語 TODO | ||
title: 五十音図 | ||
tmap.id: f037fc37-fce5-4129-a028-5e8732038439 | ||
type: text/vnd.tiddlywiki | ||
|
||
''五十音'',又称''五十音图'',是将日语的[[假名]]([[平假名]]、[[片假名]])以母音、子音为分类依据所排列出来的一个图表。 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,12 +1,12 @@ | ||
created: 20240611133753187 | ||
creator: miRoox | ||
modified: 20240612021209408 | ||
modified: 20240702101202495 | ||
modifier: miRoox | ||
tags: 逻辑 | ||
title: 公理 | ||
tmap.id: c8c14d38-cf5b-4275-9709-097d20d6345c | ||
type: text/vnd.tiddlywiki | ||
|
||
在传统[[逻辑]]中,公理(Axiom)是没有经过证明,但被当作''不证自明''的一个命题。因此,其真实性被视为是理所当然的,且被当做演绎及推论其他(理论相关)事实的起点。当不断要求证明时,因果关系毕竟不能无限地追溯,而需停止于无需证明的公理。 | ||
在传统[[逻辑]]中,''公理''(Axiom)是没有经过证明,但被当作''不证自明''的一个命题。因此,其真实性被视为是理所当然的,且被当做演绎及推论其他(理论相关)事实的起点。当不断要求证明时,因果关系毕竟不能无限地追溯,而需停止于无需证明的公理。 | ||
|
||
然而,逻辑公理系统也并非唯一。[[直觉主义逻辑]]、[[模糊逻辑]]等新的逻辑结构,都建立在略有差异的公理上。因此,与其把公理看作不证自明的事实,不如看作是在一个特定的数学或逻辑系统中,先于一切证明的[[预设]]。 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,12 @@ | ||
created: 20240702090023720 | ||
creator: miRoox | ||
modified: 20240702090822047 | ||
modifier: miRoox | ||
tags: 汉语 TODO | ||
title: 反切 | ||
tmap.id: 09535ddb-2a2f-48fa-9f73-6617583fdd77 | ||
type: text/vnd.tiddlywiki | ||
|
||
! 反<ruby>切<rp>(</rp><rt lang="zh-Latn-pinyin">qiè</rt><rp>)</rp></ruby> | ||
|
||
又称''翻切''、''反语''、''音反'',是用两个[[汉字]]给一个汉字注音的方法; |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,9 +1,33 @@ | ||
created: 20230212133728054 | ||
creator: miRoox | ||
modified: 20230212133801524 | ||
modified: 20240702133125248 | ||
modifier: miRoox | ||
tags: 分类 | ||
title: 转载 | ||
tmap.id: 2e12765e-56eb-4c07-9223-c2312b4298d6 | ||
type: text/vnd.tiddlywiki | ||
|
||
转载的文章。可能有优化修改。 | ||
|
||
<table> | ||
<thead> | ||
<th> | ||
文章 | ||
</th> | ||
<th> | ||
原作者 | ||
</th> | ||
</thead> | ||
<tbody> | ||
<$list filter="[tag[转载]]"> | ||
<tr> | ||
<td> | ||
<$link/> | ||
</td> | ||
<td> | ||
<$link to={{!!author}}/> | ||
</td> | ||
</tr> | ||
</$list> | ||
</tbody> | ||
</table> |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -1,10 +1,10 @@ | ||
created: 20240611134014137 | ||
creator: miRoox | ||
modified: 20240612021659878 | ||
modified: 20240702101132644 | ||
modifier: miRoox | ||
tags: 分类 | ||
title: 逻辑 | ||
tmap.id: 56a7dc50-e2f2-4dfb-8b6c-500c1b2848eb | ||
type: text/vnd.tiddlywiki | ||
|
||
逻辑(logic)又称理则、论理、推理、推论,是有效(或正确)推论的研究;更广泛地说,逻辑是对论证的分析和评估。 | ||
''逻辑''(''logic'')又称''理则''、''论理''、''推理''、''推论'',是有效(或正确)推论的研究;更广泛地说,逻辑是对论证的分析和评估。 |