Search results

Another Sample Appication. Map of Wholes, i.e., Blocking Profiles, for the Non-dictatorial Assignments

Status: Open.

#10 In kindo2018/prolog;

· kindo2018 opened on Jan 1, 2026

slightly generalized show_table using table_mapping and its schema

Status: Open.

#9 In kindo2018/prolog;

· kindo2018 opened on Jan 1, 2026

アローの定理の証明の短いバージョン

Status: Open.

#8 In kindo2018/prolog;

· kindo2018 opened on Dec 30, 2025

mapx, mapy (generic function with cumulative arguments)

Status: Open.

#7 In kindo2018/prolog;

· kindo2018 opened on Dec 30, 2025

select_n/3 の効率化

Status: Open.

#6 In kindo2018/prolog;

· kindo2018 opened on Dec 20, 2025

list_projection_n/5 ガード条件の修正: K=N の場合のループ/失敗

Status: Open.

#5 In kindo2018/prolog;

· kindo2018 opened on Dec 20, 2025

manipulable_n/4 is too weak when the second assignment is unbound

Status: Open.

#4 In kindo2018/prolog;

· kindo2018 opened on Dec 16, 2025

πリング上での独裁判定のロジック

Status: Open.

#3 In kindo2018/prolog;

· kindo2018 opened on Nov 4, 2025

scf/4におけるdict or possの判定

Status: Open.

#2 In kindo2018/prolog;

· kindo2018 opened on Nov 3, 2025