ベルク・カッツェ
枠/着順の表を作りアルファベットを追記していくと、Aは3枠5着になりました。
　　 4月21日（木） 0:06:08　　 　　51449
むらかみ
3位の〓〓〓〓〓〓〓〓が私のような気がします。
その後に送りなおした名前はうまく反映されています。
　　 4月21日（木） 0:07:45　　 　　51450
しとお
私も表を描きました。少しずつ表が埋まっていくのが気持ちよくて楽しかったですね
　　 4月21日（木） 0:13:41　　 　　51451
Mr.ダンディ
ベルク・カッツェさんの　#51449と同様にしました。
　　 4月21日（木） 0:14:17　　 　　51452
紫の薔薇の人
５×５の表を作って解きました。
各行各列には、Ａ〜Ｅが一つしか入らないので、徐々に解けていきます。

１着　４枠　Ｃ
２着　２枠　Ｂ
３着　１枠　Ｅ
４着　５枠　Ｄ
５着　３枠　Ａ
になりました。

だから、答えは「3,5」
　　 4月21日（木） 0:20:21　　 　　51453
「数学」小旅行
不可能な順列を消していくと絞れました。
　　 4月21日（木） 1:23:29　　 　　51454
Sunachu
5x5x5の立方体で考えたら簡単でした。
　　 4月21日（木） 9:30:36　　 　　51456
中DA
僕も5×5の表を使って解きました。
Aの着順が最初に求まりました。
　　 4月21日（木） 20:43:11　　 　　51457
SECOND
!こんな問題をプログラムで解くには、どうすればよいか？？　難題で、、仕方ない、
!順列 P(5,5)=120 の２乗、14400通り、全てのケースを検査した。１通りだけで他には無い。
!人の哲学的解法を、代行させるには、どうすればよいだろう・・

!ok= 0 1
!ok= 0 2
!ok= 0 3
!　　　 (
!　　　　)
!ok= 0 6220
!ok= 1 6221

! - - E - -
! - B - - -
! - - - - A
! C - - - -
! - - - D -

!ok= 0 6222
!　　　 (
!　　　　)
!ok= 0 14399
!ok= 0 14400

DIM m(120,5), z(5), h$(5,5)
DATA 1,2,3,4,5
MAT READ z
CALL perm20(1) !z(5)=1,2,3,4,5 の順列 P(5,5) の展開を m(120,5)に作成
!
FOR y=1 TO 120
FOR x=1 TO 120
MAT h$="-"& NUL$ !h$(枠,着順) を 空マーク"-"で埋める
FOR i=1 TO 5
LET h$(m(y,i),m(x,i))=CHR$(i+64) !P(5,5)^2=14400通りの (枠,着順)ケースを h$(5,5) に順次作成
NEXT i
CALL check !観客ア〜観客キの条件、検査
LET n=n+1
PRINT "!ok=";ok;n
IF ok=1 THEN
PRINT
MAT PRINT USING "! # # # # #" :h$
PRINT
pause
END IF
NEXT x
NEXT y

!-------------------------------------------
! 配列 h$(1~5枠,1~5着順) の中味 ABCDE の検査
!-------------------------------------------
SUB check
LET ok=0
!--------------------
!観客ア　Ｃは４枠かー。
!--------------------
FOR i=1 TO 5
IF h$(4,i)="C" THEN EXIT FOR
NEXT i
IF 5< i THEN EXIT SUB
!--------------------
!観客イ　Ｅは、５枠の馬よりは先着したよ。
!--------------------
FOR i=1 TO 5
IF h$(5,i)<>"-" THEN EXIT FOR
NEXT i
FOR j=1 TO i-1
FOR w=1 TO 4
IF h$(w,j)="E" THEN EXIT FOR
NEXT w
IF w<=4 THEN EXIT FOR
NEXT j
IF i<=j THEN EXIT SUB
!--------------------
!観客ウ　１枠の馬、３着以下だね。
!--------------------
IF h$(1,1)<>"-" OR h$(1,2)<>"-" THEN EXIT SUB
!--------------------
!観客エ　Ｂは２着かー、惜しいなぁ。
!--------------------
FOR i=1 TO 5
IF h$(i,2)="B" THEN EXIT FOR
NEXT i
IF 5< i THEN EXIT SUB
!--------------------
!観客オ　３枠の馬、５着だったよ...。
!--------------------
IF h$(3,5)="-" THEN EXIT SUB
!--------------------
!観客カ　２枠の馬は、１着にはなれなかったか。
!--------------------
IF h$(2,1)<>"-" THEN EXIT SUB
!--------------------
!観客キ　Ｄは、１着の馬より外側の枠（注：枠の番号が大きいということ）だったなー。
!--------------------
FOR i=1 TO 5
IF h$(i,1)<>"-" THEN EXIT FOR
NEXT i
FOR i=i+1 TO 5
FOR j=2 TO 5
IF h$(i,j)="D" THEN EXIT FOR
NEXT j
IF j<=5 THEN EXIT FOR
NEXT i
IF 5< i THEN EXIT SUB
!--------------------
LET ok=1
END SUB

!-----------------------------------------------------
! z(5)=1,2,3,4,5 の 順列 P(5,5)を、m(120,5) に格納する
!-----------------------------------------------------
SUB perm20(k) !start CALL perm20(1)
local i
IF k<=5 THEN
FOR i=k TO 5
swap z(k),z(i)
CALL perm20(k+1)
swap z(k),z(i)
NEXT i
ELSE
LET p=p+1
FOR i=1 TO 5
LET m(p,i)=z(i)
NEXT i
END IF
END SUB

END
　　 4月22日（金） 11:17:43　　 　　51458
よんひ
python（手習い中）で制約プログラミングで解いてみました。
Google Colab上で、以下のコードを実行すると

UMA Chaku Waku
A 5 3
B 2 2
C 1 4
D 4 5
E 3 1

という結果が得られました。

------------------------

!pip install ortools

from ortools.sat.python import cp_model

class SolutionPrinter(cp_model.CpSolverSolutionCallback):
def __init__(self, u2c, u2w):
cp_model.CpSolverSolutionCallback.__init__(self)
self.__u2c = u2c
self.__u2w = u2w
self.__solution_count = 0

def solution_count(self):
return self.__solution_count

def on_solution_callback(self):
print('Solution %i,' % self.__solution_count)
self.__solution_count += 1

uma=['A','B','C','D','E']
print('UMA Chaku Waku')
for i in range(len(uma)):
print(f'{uma[i]} {self.Value(u2c[i])+1} {self.Value(u2w[i])+1}')
print()

m = cp_model.CpModel()
u2w=[m.NewIntVar(0,5-1,'u2w%i'% i) for i in range(5)]#馬→枠
w2c=[m.NewIntVar(0,5-1,'w2c%i'% i) for i in range(5)]#枠→着
u2c=[m.NewIntVar(0,5-1,'u2c%i'% i) for i in range(5)]#馬→着
m.AddAllDifferent(u2w)
m.AddAllDifferent(w2c)
m.AddAllDifferent(u2c)

for i in range(5):
m.AddElement(u2w[i],w2c,u2c[i])#馬→枠→着と馬→着が一致

#Ｃは４枠かー。
m.Add(u2w[2]==3)
#Ｅは、５枠の馬よりは先着したよ。
m.Add(u2c[4]<w2c[4])
#１枠の馬、３着以下だね。
m.Add(w2c[0]>=2)
#Ｂは２着かー、惜しいなぁ。
m.Add(u2c[1]==1)
#３枠の馬、５着だったよ...。
m.Add(w2c[2]==4)
#２枠の馬は、１着にはなれなかったか。
m.Add(w2c[1]!=0)
#Ｄは、１着の馬より外側の枠（注：枠の番号が大きいということ）だったなー。
c2w=[m.NewIntVar(0,5-1,'c2w%i'% i) for i in range(5)]#着→枠
m.AddInverse(w2c,c2w)
m.Add(u2w[3]>c2w[0])

# Solve the model.
solver = cp_model.CpSolver()
solution_printer = SolutionPrinter(u2c,u2w)
solver.parameters.enumerate_all_solutions = True
solver.Solve(m, solution_printer)
　　 4月22日（金） 17:04:42　　 　　51459
よんひ
この掲示板は行頭のスペースがトリムされてしまうんですね。pythonはスペースに文法上の意味があるので正しく入れないとエラーになります。
空行を除いた4,9,11,27行目に1つ
5-8,10,12-16,18行目に2つ
17行目に3つの
行頭のスペース（またはタブ）が付きます。
　　 4月22日（金） 18:09:37　　 　　51460