ФлеймФорумПрограммирование

Проект нового математического языка (3 стр)

Страницы: 1 2 3 4 5 6 7 Следующая »
#30
19:16, 24 окт 2025

=A=L=X=
> Недавно медики изобрели как в анус больному вводить бутылку перфорхлорана.
> Ты вот из тех кто согласился чтобы тебе его ввели.
Недавно на Марсе была обнаружена жизнь, в виде зеленокожего марсианина, жрущего говно.
Ты вот один из тех марсиан

#31
19:26, 24 окт 2025

=A=L=X=

> что такое решение квадратного уравнения.
Решение уравнения (любого) это нахождение всех аргументов, при которых выполняется равенство. Ты спрашиваешь, потому что не знаешь, что такое квадратное уравнение?

> и почему представляет загадку какую то?
Для закончивших школу это не должно являться загадкой. Некоторые даже могут вывести решение сами, вооружившись знаниями о квадрате разности. Интересует твое представление об этом решении в формулировке из нульпоста - линейная запись и ascii коды.

#32
19:32, 24 окт 2025

Имбирная Ведьмочка
> Но впрочем сразу скажу, что идея мертворожденная, потому что изначально, целевая аудитория для математических статей — это математики, а не программисты. А математикам удобнее писать и читать в 2д, они не испытывают с этим проблем. Они же не программисты.

Ох ты сильно ошибаешся.
Ветер перемен и все несогласные им сносятся.

#33
19:39, 24 окт 2025

Ветер перемен

это гуд.

+ Показать
#34
20:04, 24 окт 2025

=A=L=X=
> Ох ты сильно ошибаешся.
Учитывая, кто из нас двоих больший математик — скорее всего, ошибаешься ты.

#35
20:12, 24 окт 2025

Если шрифт моноширинный, можно попробовать использовать многострочность записи для пространственной группировки членов, как в мат.формулах.

Я не имею в виду, что прям все символы всех этих интергралов/сумм рисовать из отдельных символов многострочно, но какие-то вещи можно сохранить примерно как есть, типа дробей.

Хотя мне действительно тоже непонятно, что же хочет Алекс.

Потому что мат.формула - это иерархическая конструкция. Иерархическую конструкцию можно представлять и линейным способом, практически все ЯП этим и являются, но все же 2D-группировка членов и субчленов реально позволяет проще воспринимать их взаимоотношения в формуле, потому что так устроено зрение человека, а не просто потому что нас так научили на уроках алгебры.

Как вариант - иерархическую структуру формулы представлять примерно как блоки в питоне, с отступами - оно так вроде и плейнтекст ASCII, но в то же время и двумерное представление из-за отступов блоков.

SUM k=0 TO n:
    (-1)^k
    -------
    2*k + 1
+:
    (-1)^(n+1)
    *
    INTEGRAL 0 TO 1 BY dx:
        x^(2*n+2)
        ---------
        1 + x^2
#36
(Правка: 20:24) 20:12, 24 окт 2025

#49 А это уже авторитетный аргумент

#37
20:15, 24 окт 2025

Дурацки получилась смесь префиксных и инфиксных операций. Надо что-то придумать, чтоб не путалось.

#38
20:23, 24 окт 2025

Надо еще на YAML поглядеть, там вроде бы лучше продуманы вопросы лавирования между линейными и отступными формами записи одних и тех же конструкций. Как-то попробовать эти правила натянуть на математические операции.

Еще как-то надо приоритеты пристроить. В линейной записи a + b * с нам вроде как привычно читать, а вот если там вместо a b и с будут какие-то сложные конструкции, которые выносить в блоки, то уже в вертикали как-то не очень приоритеты воспринимаются, за исключением деления дробью.

#39
(Правка: 20:52) 20:48, 24 окт 2025

Уснул наконец, это к перемирию

#40
20:51, 24 окт 2025

Но сон увлекающихся математикой чуток и краток. Ожидаем к часу/двум по Москве, лол

#41
20:59, 24 окт 2025

Короче надо придумать так чтобы это как-то удобно сворачивалось и разворачивалось по тройному клику например, кликнул и у тебя вместо абракадабры выстраивается четкий конструктор из всего разнообразия закорючек в чистой математической форме, перетаскиваешь закорючки в нужное место, кликаешь ещё раз многоэтажная невероятных размеров формула превращается в абракодабру для строки кода.

#42
23:31, 24 окт 2025

ecta
> удобно сворачивалось и разворачивалось по тройному клику например, кликнул

Если я правильно понял Алкса, то наоборот хочется, чтоб не требовалось никаких дополнительных средств для выражения математической мысли, кроме ASCII-симовлов.

#43
5:17, 25 окт 2025

Dmitry_Milk
> Если я правильно понял Алкса, то наоборот хочется, чтоб не требовалось никаких дополнительных средств для выражения математической мысли, кроме ASCII-симовлов.

Именно - мы же выражаем сложнейшие мысли в языках программирования ASCII текстом и не испытываем никакой, абсолютно никакой нужды вовлекать графические редакторы в то чтобы программировать - более того - когда такие попытки делаются мы снисходительно цедим "лютый идиотизм, но для недоразвитых и детей может подойти".
Чем математика хуже? Ничем. Пора уже выйти из детского возраста и перестать ковырять палкой в песке.

#44
(Правка: 5:43) 5:37, 25 окт 2025

Dmitry_Milk
> SUM k=0 TO n:
> (-1)^k
> -------
> 2*k + 1
> +:
> (-1)^(n+1)
> *
> INTEGRAL 0 TO 1 BY dx:
> x^(2*n+2)
> ---------
> 1 + x^2

И таки да - наконец то что-то приближенное к реальности, на что я с первой страницы пытался расшевелить.
Действительно - как мы делаем программы читаемыми? Мы не лепим их в одну строку и не пытаемся давать идентификаторам мутные наименования - мы показываем вложенность идей отступами и даём ясные имена действиям как минимум.
Единственное - деление в виде ———— это уже слишком, деление это такая же операция как плюс или минус, если хочется отделить делимое от делителя достаточно опять таки разнести на разные строки, но операцию превращать в монстра не нужно:

SUM k = 0 TO n:
    (-1 ^ k) /
    (2 * k + 1)
+:
    -1 ^ (n + 1)
    *
    INTEGRAL 0 TO 1 BY dx:
        (x ^ (2 * n + 2)) /
        (1 + x ^ 2)

Воооооот. Уже что-то вменяемое, приятненькое и визуально не отвращающее глаз.
Вот да, куда то сюда надо идти.

Страницы: 1 2 3 4 5 6 7 Следующая »
ФлеймФорумПрограммирование