Ciudad arcoiris manhwa. New criticism approach in literature. Ki workshop kuenstliche intell. 正 三角形 の証明問題.