{
かのう
}
{
能
}
{
可
}
(3)
{
可能
K#
EDD2/02F6
}
t_w
(28)
{
持続可能
}
{
持続可能性
}
{
テスト可能
}
{
改行可能
}
{
置き換え可能
}
{
推論可能
}
{
証明可能
}
{
充足可能
}
{
回復可能
}
{
検証可能
}
(28)
{
持続
}
{
可能
}
(2)
{
持続可能
K#
EDD2/A52F-F883
}
t_w
(3)
{
持続可能なソフトウェア開発
}
{
あれ
}
{
持続可能性
}
{
持続可能
}
{
可能性
}
{
持続
}
{
可能
}
(4)
{
持続可能性
K#
EDD2/A52F-7D6A
}
t_w
(1)
{
あれ
}
{
テスト
}
{
可能
}
(2)
{
テスト可能
K#
EDD2/A52F-23BB
}
t_w
(1)
{
テスト可能契約
}
{
かいぎょうかのう
}
{
可能
}
{
改行
}
(3)
{
改行可能
K#
EDD2/A52F-7D7D
}
t_w
(1)
{
<wbr>
}
{
置き換え
}
{
可能
}
(2)
{
置き換え可能
K#
EDD2/A52F-7300
}
t_w
(2)
{
シニフィアンはシニフィエに置き換え可能である
}
{
「aからbに置き換えられる」という関係によって諸相を表す
}
{
推論
}
{
可能
}
(2)
{
推論可能
K#
EDD2/37A7
}
t_w
(3)
{
推論可能なメモ
}
{
証明
}
{
可能
}
(2)
{
証明可能
K#
EDD2/E95A
}
t_w
(1)
{
⊢
}
{
充足
}
{
可能
}
(2)
{
充足可能
K#
EDD2/8562
}
t_w
(1)
{
『論理学第11回「導出原理」萩野 達也』
}
{
回復
}
{
可能
}
(2)
{
回復可能
K#
EDD2/1AD4
}
t_w
(1)
{
回復可能なエラー
}
{
可能
}
{
検証
}
(2)
{
検証可能
K#
EDD2/AD4A
}
t_w
(1)
{
有意味な命題とは検証可能な命題
}
1
{
可能
}
{
}
可能}